equal
deleted
inserted
replaced
9 |
9 |
10 theory Integer_Nits |
10 theory Integer_Nits |
11 imports Nitpick |
11 imports Nitpick |
12 begin |
12 begin |
13 |
13 |
14 nitpick_params [card = 1\<midarrow>5, bits = 1,2,3,4,6, |
14 nitpick_params [verbose, card = 1\<midarrow>5, bits = 1,2,3,4,6, |
15 sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60] |
15 sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60] |
16 |
16 |
17 lemma "Suc x = x + 1" |
17 lemma "Suc x = x + 1" |
18 nitpick [unary_ints, expect = none] |
18 nitpick [unary_ints, expect = none] |
19 nitpick [binary_ints, expect = none] |
19 nitpick [binary_ints, expect = none] |