]> Witch of Git - jade-rose/blob - toolchain/proptest-regressions/inst/test.txt
Add decoding with proptest round-trip test
[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)))