search

chipmunk-project / chipmunk-tofino

12 stars 2 forks source link

Add one test which can finish within reasonable time for #34 #35

Open XiangyuG opened 4 years ago

XiangyuG commented 4 years ago

After fixing the bug for #34 , we should add one reasonable test which can finish within reasonable time to avoid the similar issue to happen again.

XiangyuG commented 4 years ago 
time iterative_solver /tmp/blue_increase_canonicalizer_equivalent_0.sk example_alus/stateful_alus/tofino.alu examp
le_alus/stateless_alus/stateless_alu_for_tofino.alu 4 2 "0,1,2,3,10" 10 --state-groups 0 1 --parallel-sketch --target-tofino

There will be infinite loop for this cmd for previous commit while this can disappear after fixing it.