equal
deleted
inserted
replaced
9 |
9 |
10 theory Pattern_Nits |
10 theory Pattern_Nits |
11 imports Main |
11 imports Main |
12 begin |
12 begin |
13 |
13 |
14 nitpick_params [card = 10, max_potential = 0, sat_solver = MiniSat_JNI, |
14 nitpick_params [verbose, card = 10, max_potential = 0, sat_solver = MiniSat_JNI, |
15 max_threads = 1, timeout = 60] |
15 max_threads = 1, timeout = 60] |
16 |
16 |
17 lemma "x = (case u of () \<Rightarrow> y)" |
17 lemma "x = (case u of () \<Rightarrow> y)" |
18 nitpick [expect = genuine] |
18 nitpick [expect = genuine] |
19 oops |
19 oops |