Derp, turn off TRIP_no_append_duplicates

This commit is contained in:
Scott Lystig Fritchie 2014-02-20 02:24:06 +09:00
parent b3ed9ef51c
commit f5c4474669

View file

@ -65,7 +65,7 @@
%% Define true to fake bad behavior that model **must** notice & fail!
-ifndef(TRIP_no_append_duplicates).
-define(TRIP_no_append_duplicates, true).
-define(TRIP_no_append_duplicates, false).
-endif.
-ifndef(TRIP_bad_read).
-define(TRIP_bad_read, false).