]> Witch of Git - jade-rose/blob - toolchain/proptest-regressions/inst/test.txt
Add instruction formatter
[jade-rose] / toolchain / proptest-regressions / inst / test.txt
1 # Seeds for failure cases proptest has generated in the past. It is
2 # automatically read and these particular cases re-run before any
3 # novel cases are generated.
4 #
5 # It is recommended to check this file in to source control so that
6 # everyone who runs the test benefits from these saved cases.
7 cc ecdd893edc935d8d4eb2eb12057b49f81f30d7211ffe3821f199f895e6c1dfb3 # shrinks to inst = LdD(D1, Reg(U3(0)), false)
8 cc a7153639ea7f091987410d362c4639c35081fc2ecccf65bb9971a8570ae230d9 # shrinks to inst = Jump(OffImm(0))
9 cc 316327f54ddfe6fb212d24b80e401bea293a0c836cba642afafe92df51f0480f # shrinks to inst = Swap(Reg(U3(0)))
10 cc 522cccd0010f31b23002b57b05f29184dca074603944d1618f7a3db3d0204b73 # shrinks to inst = AluI(Add(AddImm(10)))
11 cc 8b07613f990cb839991917fd9e8e8ba8ac20a135a8e4d14ee26c0c4eb809d67b # shrinks to inst = AluI(Compact(Lsl, U3(0)))