deepstate OneOf fails in manticore: Cannot allocate memory Probably too many cached expressions

OneOf fails in manticore: Cannot allocate memory Probably too many cached expressions

Open ggrieco-tob opened this issue 5 years ago • 1 comments

Manticore fails in this particular example, @mossberg is mentioned in the code, maybe he can help us. :smiley:

================================================================================
RUNNING: deepstate-manticore build/examples/OneOf
2019-04-21 22:00:30,717: [16805] m.c.manticore:INFO: Verbosity set to 1.
INFO:deepstate.mcore:Running 1 tests across 1 workers
2019-04-21 22:00:36,220: [16805] m.c.manticore:INFO: Verbosity set to 1.
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:+=1
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/4ae71336e44bf9bf79d2752e234818a5.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:+=1
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/cf404dc806178c245b5b4fe2531e6d8c.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:+=1
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/4dc8564dbd8210652f4097f7c50f67cf.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:*2
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60:  did +2 from -2147483618
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 1e 00 00 00 00 00 00 00 02
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/1e1fb7b6a7680c553fab19990b87c1de.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:+=1
TRACE:deepstate:*2
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60:  did ++2 from -2147483619
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 1d 00 00 00 00 00 00 00 00 00 00 00 02
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/c222fcd6dec76010754677ec6e191d15.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:*2
TRACE:deepstate:+=1
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 61 is >= 60:  did +2+ from -2147483619
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 1d 00 00 00 00 00 00 00 02 00 00 00 00
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/c9f69812981477fb3bf4092767ba1076.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:*2
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 02 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/45571c3a3240229145ca5d51fd7af527.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60:  did 2 from -2147483617
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 1f 00 00 00 02
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/707384ac5102094aa6974f1e4765f063.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:-=1
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 01 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/865dfd07fb3c5be637c286b966e4ffe4.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:*2
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 02 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/0aeda78e0215bbde8f8c1db34ecb9d86.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:-=1
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 01 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/ba3e801dee03c2d39b5b4fac2852f3bf.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:-=1
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 2147483647 is >= 60:  did - from -2147483648
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 00 00 00 00 01
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/3d90aabd909acab9f1b45dab298ac24d.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:+=10
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 03 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/76c26bde28230a8c142c33bc87f06ff5.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:+=1
TRACE:deepstate:+=10
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 03
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/093a492a153ea0cd5e2a72987d760be0.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:-=1
TRACE:deepstate:*2
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60:  did +-2 from -2147483617
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 1f 00 00 00 00 00 00 00 01 00 00 00 02
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/d81389dad4dd06f279564803dc287201.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:+=1
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 61 is >= 60:  did 2+ from -2147483618
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 1e 00 00 00 02 00 00 00 00
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/be0209078ea3a50ba4bd3c623e75d977.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:-=1
TRACE:deepstate:+=10
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 01 00 00 00 03
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/2d16c94e9277200bff2397efe192dbdc.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:-=1
TRACE:deepstate:=0
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 01 00 00 00 04
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/f71f01187ae744fb167b5664e0db2629.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:*2
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 02 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/9753ac4fa68412c338f11234d94b022c.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:-=1
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 2147483647 is >= 60:  did 2- from -1073741824
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: c0 00 00 00 00 00 00 02 00 00 00 01
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/af893eede7009d31ed170ed02ee3dc8a.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:*2
TRACE:deepstate:*2
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 64 is >= 60:  did +22 from -2147483633
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 0f 00 00 00 00 00 00 00 02 00 00 00 02
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/2442593025fb43e293b6f8d99f5264ab.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:+=10
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60:  did 2x from -2147483622
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 1a 00 00 00 02 00 00 00 03
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/85bb1ff8da2f05b348f9c578c83999cf.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:=0
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 04 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/e5d8da1b03001b8cbd1cc9d6aa7cac53.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:-=1
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 01 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/d1a40a3e8db320bb366d78999465b905.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:*2
TRACE:deepstate:=0
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 02 00 00 00 04
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/92643094233f7e822173cceabbce6022.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:-=1
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 01 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/0d7d168b4c9e8d7916447fd31c46a4fb.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:+=10
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 03 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/42698fef9f0960642244ec59024062f3.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:=0
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 04 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/71b4504d2745d3db9bfdc28fbb7d03e7.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:+=1
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 00 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/21e0f2975a84e78cec58787af28bde14.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:-=1
TRACE:deepstate:+=1
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/9854bba2816312495ab3f00b17265b81.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:+=1
TRACE:deepstate:=0
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 04
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/6f3101dd6ec6ffffe78c20011cc63ab2.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:+=10
TRACE:deepstate:=0
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 03 00 00 00 04
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/0837b130cd8d3b0f9f6a6189d6a0d4a8.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:-=1
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 01 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/457bb9307d2b07f580b1aac1bda4f403.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:+=1
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 00 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/51682bb715351aa2d25e1585f4ff0424.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:*2
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 02 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/f6d52309c04537f001676483261e52b9.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:+=10
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 03 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/281f6fffa593272f6bdea05f7c3aa388.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:+=1
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 00 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/32d22963b627ceab6638998960bc3402.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:+=10
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 03 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/c7358f5da89d34024f287cb0f9556267.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:+=1
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 00 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/f8d3b5b72db6c87fb1a5655b482016c6.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:+=10
TRACE:deepstate:+=1
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 61 is >= 60:  did 2x+ from -2147483623
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 19 00 00 00 02 00 00 00 03 00 00 00 00
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/00d39e9107ba125ad8513b719ceedafa.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:-=1
TRACE:deepstate:+=1
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/285d5fed06dc52aea04a13cc9426616b.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:*2
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 02 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/ea298d2cbbeb3dd6c4eb8b2c35bc9a08.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:+=1
TRACE:deepstate:=0
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 00 00 00 00 04
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/01747ba148b4a3fa08ce4e5ccade47a6.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:*2
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 02 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/3c5de7c56ec22212f2deec8493949f22.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:+=1
TRACE:deepstate:*2
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60:  did x+2 from -2147483628
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 14 00 00 00 03 00 00 00 00 00 00 00 02
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/cf49e46742470de74379fda81e7b65c5.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:-=1
TRACE:deepstate:-=1
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 2147483647 is >= 60:  did +-- from -2147483648
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 00 00 00 00 00 00 00 00 01 00 00 00 01
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/d12b17fe50a394e7be3f1efa2591de14.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:+=1
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 00 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/b0d568a067b6395cee93094df5417cec.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:*2
TRACE:deepstate:+=1
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 61 is >= 60:  did 22+ from -2147483633
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 0f 00 00 00 02 00 00 00 02 00 00 00 00
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/3636c7d4dcc2877a3fe629f9873834f5.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:-=1
TRACE:deepstate:+=1
TRACE:deepstate:+=10
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00 03
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/7d3d1d27964f6da86560b347010716ee.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:+=10
TRACE:deepstate:+=10
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60:  did 2xx from -2147483627
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 15 00 00 00 02 00 00 00 03 00 00 00 03
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/0f4b7966c0dffd6eeb1fca9a9ac2f96a.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:*2
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60:  did x2 from -2147483627
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 15 00 00 00 03 00 00 00 02
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/274e6c02e27b7ac3c84359de35fad958.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:*2
TRACE:deepstate:+=10
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60:  did +2x from -2147483623
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 19 00 00 00 00 00 00 00 02 00 00 00 03
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/27af03aa9a8ac02f17a640bd83dae90f.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:*2
TRACE:deepstate:+=10
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 02 00 00 00 03
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/a54a5935a1cb3cad76d058996ee6a99d.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:*2
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 64 is >= 60:  did 22 from -2147483632
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 10 00 00 00 02 00 00 00 02
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/d679fe3d98f1d1efda6338ae51a29059.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:+=1
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 00 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/651b214fd22966ecf76be1467b7f315b.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:*2
TRACE:deepstate:-=1
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 2147483647 is >= 60:  did +2- from -1073741825
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: bf ff ff ff 00 00 00 00 00 00 00 02 00 00 00 01
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/52b7718b62bcef849c89f719af0bef6c.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:+=10
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 03 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/e7964330a76e0b1e2063ed0bae52556d.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:*2
TRACE:deepstate:=0
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 02 00 00 00 04
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/8da8acb1e901b12c3997314fa824ff10.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:+=1
TRACE:deepstate:*2
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60:  did 2+2 from -2147483633
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 0f 00 00 00 02 00 00 00 00 00 00 00 02
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/aa74a5dbbe0231b43700ea3dce0844b3.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:*2
TRACE:deepstate:-=1
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 2147483647 is >= 60:  did x2- from -1073741834
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: bf ff ff f6 00 00 00 03 00 00 00 02 00 00 00 01
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/1654be7fbf989d61b399e22052013f3e.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:=0
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 04 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/e9dfc883570d81036fcd1af7c5e0bd7c.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:*2
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 02 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/1eec5f8d100e4af472221d5a76703a4d.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:=0
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 04 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/c8f4571adb658c8b85d1f64abdaca02f.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:+=1
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 00 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/1fb332efe1406a104b11ffa1fa04fa7a.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:+=10
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 03 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/e74cfd3644e5306e2a7d94aefc38bde1.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:+=10
TRACE:deepstate:+=10
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 03 00 00 00 03
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/987d79593f90cb8a46548977f9d32e3f.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:-=1
TRACE:deepstate:+=1
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/f014c44f99b5d6162fc852fea57caceb.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:+=10
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 03 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/a05bb86f5034625ac539e2ca9b054b5a.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:+=10
TRACE:deepstate:*2
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 64 is >= 60:  did 2x2 from -2147483637
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 0b 00 00 00 02 00 00 00 03 00 00 00 02
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/0f0da5b0e4fde9cf5fd6fa439f0c5c10.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:+=1
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 00 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/bb87a633e239d676aa7c8fd44e3b5ccb.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:-=1
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 01 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/fb15a9a2061b35ceb620c41ca599a736.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:+=10
TRACE:deepstate:=0
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 03 00 00 00 04
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/d33d9cd742bffdd9ef4cd3bbb12525aa.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:=0
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 04 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/9332e760f6c83b6f70cdbe287d2b4a71.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:-=1
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 01 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/0651c9d4f8172c094c5975d504f96abd.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:*2
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 02 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/29478d31584fa296bb25611c62e3cf4a.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:*2
TRACE:deepstate:-=1
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 2147483647 is >= 60:  did 22- from -536870912
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: e0 00 00 00 00 00 00 02 00 00 00 02 00 00 00 01
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/9856becfb6e7d96dbc2742a018ae44e2.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:+=1
TRACE:deepstate:+=10
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 00 00 00 00 03
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/e8c15237442afcf50452bfd5871774af.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:*2
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 02 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/101e9b97b5a4b07a5c06f0bbd27e03c4.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:+=1
TRACE:deepstate:+=10
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 00 00 00 00 03
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/594a70d2b122ad96b7885813d3facc47.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:+=10
TRACE:deepstate:*2
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60:  did +x2 from -2147483628
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 14 00 00 00 00 00 00 00 03 00 00 00 02
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/8df663a232167de18550bd6b7e8d4083.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:-=1
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 01 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/2088c9ccd8a3cdd180bd4cb1ce95f441.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:-=1
TRACE:deepstate:+=1
TRACE:deepstate:*2
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60:  did -+2 from -2147483617
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 1f 00 00 00 01 00 00 00 00 00 00 00 02
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/d29601e3f2aaca6473227e3cb630520a.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:=0
TRACE:deepstate:=0
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 04 00 00 00 04
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/cc10e5e124663e57cad406df8161b343.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:=0
TRACE:deepstate:+=10
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 04 00 00 00 03
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/5a2a09118bdbf1aea1d2f6cf9bda7ca8.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:-=1
TRACE:deepstate:*2
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60:  did x-2 from -2147483626
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 16 00 00 00 03 00 00 00 01 00 00 00 02
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/8733749464d98a6742b3058703f33bfe.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:-=1
TRACE:deepstate:+=1
TRACE:deepstate:=0
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00 04
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/4a3d91341b341adc6ac81edd70aa734b.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:+=10
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 03 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/4de66622861d1a7a51ff4ca5a6b4d783.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:-=1
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 01 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/695d99f6b735559ef50175678d37a631.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:+=10
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 03 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/6d4c956a8baab806d3f516d28d6c8c1a.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:+=10
TRACE:deepstate:=0
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 03 00 00 00 04
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/998ee910b5ce55a3c211566002eae7a9.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:=0
TRACE:deepstate:+=10
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 04 00 00 00 03
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/d39900da2b0db2c663baf9e2b0edf2c3.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:+=10
TRACE:deepstate:=0
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 03 00 00 00 04
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/5c8d2d3c515b0a4630d6f3a5033358a1.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:+=1
TRACE:deepstate:=0
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 00 00 00 00 04
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/6f53e74b107fcdf739573f29351ad305.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:+=10
TRACE:deepstate:+=10
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 03 00 00 00 03
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/0fd227eea60c963b84c91cae5e1f4b45.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:-=1
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 01 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/f818535c47f4573e09b9200d480298c3.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:*2
TRACE:deepstate:+=10
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 02 00 00 00 03
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/1ef2c59c2bc33c56584be3e5f4e1a71c.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:=0
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 04 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/7605286f36bde1ae313ca70e3bf8786e.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:-=1
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 01 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/a4d16692460c4bf92412627f7ab9f6da.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:*2
TRACE:deepstate:=0
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 02 00 00 00 04
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/17a4c48b199e92d86ce054e029358ed8.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:*2
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 02 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/da4cf4f33cb56024e215375a67ac16d7.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:+=10
TRACE:deepstate:+=10
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 03 00 00 00 03
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/e5a7f8f934273376391e4f4eb40fc85d.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:*2
TRACE:deepstate:*2
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 64 is >= 60:  did x22 from -2147483642
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 06 00 00 00 03 00 00 00 02 00 00 00 02
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/b946db0d682a9b732ab340194ebb6d1b.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:+=10
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 03 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/beadfddc00a76c2ea019e546fc48de21.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:=0
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 04 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/14d4a86ac5dd2897cc1c125a7bb068af.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:-=1
TRACE:deepstate:=0
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 01 00 00 00 04
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/5c4faa2d8c37241fe51ad9949ece443e.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:-=1
TRACE:deepstate:=0
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 01 00 00 00 04
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/6f0c9eae675ec5b2bec97c584622961c.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:=0
TRACE:deepstate:=0
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 04 00 00 00 04
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/dcc37ccc67884cfbb68fc9e694c60b75.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:*2
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 02 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/bb89dafce5b8272a533c7fe70c011896.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:=0
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 04 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/df53c79585672f4104493484a5b1cff3.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:-=1
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 01 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/c0c4aea87e56633f6c0a90eff2849ad3.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:+=1
TRACE:deepstate:=0
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 00 00 00 00 04
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/fb12ecf54fe10251ca5eb779d4527693.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:-=1
TRACE:deepstate:+=10
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 01 00 00 00 03
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/39cad8c37593980aeb2698c4aa85fbe0.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:+=10
TRACE:deepstate:*2
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60:  did xx2 from -2147483637
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 0b 00 00 00 03 00 00 00 03 00 00 00 02
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/fbdc5f6e5eb2f0b44fa7c2a85913d2af.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:+=10
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 03 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/e11e1eeb4707aecc24c9911c74fcb3db.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:+=10
TRACE:deepstate:+=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 03 00 00 00 00
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/3d77e7b026e332f651896f480ced7c34.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=1
TRACE:deepstate:+=10
TRACE:deepstate:+=10
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 03 00 00 00 03
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/34d1c4fe95c1d358494c6ec9fd85e5e7.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:-=1
TRACE:deepstate:-=1
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 01 00 00 00 01 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/60f34f5fc50a95d2b6bbe7052dc13792.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:-=1
TRACE:deepstate:+=10
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 01 00 00 00 03
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/d7a5397f525cdf7310592ac128dcb8c9.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:-=1
TRACE:deepstate:*2
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60:  did 2-2 from -2147483632
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 10 00 00 00 02 00 00 00 01 00 00 00 02
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/14a73c0b4ad464dc973f82acfc67cfcf.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:-=1
TRACE:deepstate:-=1
TRACE:deepstate:-=1
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 2147483647 is >= 60:  did --- from -2147483646
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 02 00 00 00 01 00 00 00 01 00 00 00 01
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/fa52aec9e15b71427079576f92149f06.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:=0
TRACE:deepstate:=0
TRACE:deepstate:-=1
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 04 00 00 00 01
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/1e78ac11dfeacc3b6e6fc853702513ad.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:+=1
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 00 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/a78c2aac4503a4972702f650e0aac24e.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:-=1
TRACE:deepstate:=0
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 01 00 00 00 04
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/47a270dffb45b375ca724b0c28459ef7.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:+=10
TRACE:deepstate:=0
TRACE:deepstate:*2
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 04 00 00 00 02
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/4e9dab9162220c515fa7ca8abd206d30.pass
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:-=1
TRACE:deepstate:-=1
CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 2147483647 is >= 60:  did -- from -2147483647
ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 80 00 00 01 00 00 00 01 00 00 00 01
INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/39843ae238b7556cc4f3ff3d3e55900b.fail
TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)
TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition
TRACE:deepstate:*2
TRACE:deepstate:+=1
TRACE:deepstate:+=10
TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher
TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 00 00 00 00 03
TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/6f0e8b9ed588219b072b1e153ad1341d.pass
[Errno 12] Cannot allocate memory Probably too many cached expressions? visitors._cache...
2019-04-21 22:14:33,863: [16805] m.c.executor:ERROR: Exception: 
Traceback (most recent call last):
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/smtlib/solver.py", line 185, in _start_proc
    self._proc = Popen(shlex.split(self._command), stdin=PIPE, stdout=PIPE, bufsize=0, universal_newlines=True)
  File "/opt/python/3.6.5/lib/python3.6/subprocess.py", line 709, in __init__
    restore_signals, start_new_session)
  File "/opt/python/3.6.5/lib/python3.6/subprocess.py", line 1275, in _execute_child
    restore_signals, start_new_session, preexec_fn)
OSError: [Errno 12] Cannot allocate memory
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/executor.py", line 454, in run
    if not current_state.execute():
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/native/state.py", line 18, in execute
    result = self._platform.execute()
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/platforms/linux.py", line 2284, in execute
    self.current.execute()
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/native/cpu/abstractcpu.py", line 912, in execute
    self._publish('will_execute_instruction', self.PC, insn)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/utils/event.py", line 127, in _publish
    self._publish_impl(_name, *args, **kwargs)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/utils/event.py", line 144, in _publish_impl
    sink._publish_impl(_name, *args, **kwargs)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/utils/event.py", line 144, in _publish_impl
    sink._publish_impl(_name, *args, **kwargs)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/utils/event.py", line 142, in _publish_impl
    sink._publish_impl(_name, self, *args, **kwargs)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/utils/event.py", line 135, in _publish_impl
    callback(robj(), *args, **kwargs)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/native/manticore.py", line 150, in _hook_callback
    cb(state)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/deepstate-0.1-py3.6.egg/deepstate/main_manticore.py", line 258, in <lambda>
    return lambda state: state.invoke_model(func)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/native/state.py", line 69, in invoke_model
    self._platform.invoke_model(model, prefix_args=(self,))
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/platforms/platform.py", line 36, in invoke_model
    self._function_abi.invoke(model, prefix_args)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/native/cpu/abstractcpu.py", line 358, in invoke
    result = model(*arguments)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/deepstate-0.1-py3.6.egg/deepstate/main_manticore.py", line 158, in hook_IsSymbolicUInt
    return DeepManticore(state).api_is_symbolic_uint(arg)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/deepstate-0.1-py3.6.egg/deepstate/common.py", line 454, in api_is_symbolic_uint
    solutions = self.concretize_many(arg, 2)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/deepstate-0.1-py3.6.egg/deepstate/main_manticore.py", line 130, in concretize_many
    return self.state.solve_n(val, max_num)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/state.py", line 315, in solve_n
    return self._solver.get_all_values(self._constraints, expr, nsolves, silent=True)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/smtlib/solver.py", line 404, in get_all_values
    self._reset(temp_cs.to_string(related_to=var))
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/smtlib/solver.py", line 254, in _reset
    self._start_proc()
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/smtlib/solver.py", line 189, in _start_proc
    raise Z3NotFoundError  # TODO(mark) don't catch this exception in two places
manticore.exceptions.Z3NotFoundError
ERROR:deepstate.mcore:State 285 terminated due to internal error: 
ERROR:deepstate.mcore:Uncaught exception: <class 'manticore.exceptions.Z3NotFoundError'>
Traceback (most recent call last):
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/smtlib/solver.py", line 185, in _start_proc
    self._proc = Popen(shlex.split(self._command), stdin=PIPE, stdout=PIPE, bufsize=0, universal_newlines=True)
  File "/opt/python/3.6.5/lib/python3.6/subprocess.py", line 709, in __init__
    restore_signals, start_new_session)
  File "/opt/python/3.6.5/lib/python3.6/subprocess.py", line 1275, in _execute_child
    restore_signals, start_new_session, preexec_fn)
OSError: [Errno 12] Cannot allocate memory
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/executor.py", line 454, in run
    if not current_state.execute():
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/native/state.py", line 18, in execute
    result = self._platform.execute()
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/platforms/linux.py", line 2284, in execute
    self.current.execute()
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/native/cpu/abstractcpu.py", line 912, in execute
    self._publish('will_execute_instruction', self.PC, insn)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/utils/event.py", line 127, in _publish
    self._publish_impl(_name, *args, **kwargs)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/utils/event.py", line 144, in _publish_impl
    sink._publish_impl(_name, *args, **kwargs)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/utils/event.py", line 144, in _publish_impl
    sink._publish_impl(_name, *args, **kwargs)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/utils/event.py", line 142, in _publish_impl
    sink._publish_impl(_name, self, *args, **kwargs)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/utils/event.py", line 135, in _publish_impl
    callback(robj(), *args, **kwargs)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/native/manticore.py", line 150, in _hook_callback
    cb(state)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/deepstate-0.1-py3.6.egg/deepstate/main_manticore.py", line 258, in <lambda>
    return lambda state: state.invoke_model(func)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/native/state.py", line 69, in invoke_model
    self._platform.invoke_model(model, prefix_args=(self,))
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/platforms/platform.py", line 36, in invoke_model
    self._function_abi.invoke(model, prefix_args)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/native/cpu/abstractcpu.py", line 358, in invoke
    result = model(*arguments)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/deepstate-0.1-py3.6.egg/deepstate/main_manticore.py", line 158, in hook_IsSymbolicUInt
    return DeepManticore(state).api_is_symbolic_uint(arg)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/deepstate-0.1-py3.6.egg/deepstate/common.py", line 454, in api_is_symbolic_uint
    solutions = self.concretize_many(arg, 2)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/deepstate-0.1-py3.6.egg/deepstate/main_manticore.py", line 130, in concretize_many
    return self.state.solve_n(val, max_num)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/state.py", line 315, in solve_n
    return self._solver.get_all_values(self._constraints, expr, nsolves, silent=True)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/smtlib/solver.py", line 404, in get_all_values
    self._reset(temp_cs.to_string(related_to=var))
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/smtlib/solver.py", line 254, in _reset
    self._start_proc()
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/smtlib/solver.py", line 189, in _start_proc
    raise Z3NotFoundError  # TODO(mark) don't catch this exception in two places
manticore.exceptions.Z3NotFoundError
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/smtlib/solver.py", line 185, in _start_proc
    self._proc = Popen(shlex.split(self._command), stdin=PIPE, stdout=PIPE, bufsize=0, universal_newlines=True)
  File "/opt/python/3.6.5/lib/python3.6/subprocess.py", line 709, in __init__
    restore_signals, start_new_session)
  File "/opt/python/3.6.5/lib/python3.6/subprocess.py", line 1275, in _execute_child
    restore_signals, start_new_session, preexec_fn)
OSError: [Errno 12] Cannot allocate memory
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/deepstate-0.1-py3.6.egg/deepstate/main_manticore.py", line 374, in run_test
    do_run_test(state, apis, test, hook_test)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/deepstate-0.1-py3.6.egg/deepstate/main_manticore.py", line 369, in do_run_test
    m.run(procs=1)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/manticore.py", line 436, in run
    self._start_workers(procs, profiling=should_profile)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/manticore.py", line 281, in _start_workers
    target()
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/executor.py", line 497, in run
    self._publish('will_terminate_state', current_state, current_state_id, e)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/utils/event.py", line 127, in _publish
    self._publish_impl(_name, *args, **kwargs)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/utils/event.py", line 144, in _publish_impl
    sink._publish_impl(_name, *args, **kwargs)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/utils/event.py", line 135, in _publish_impl
    callback(robj(), *args, **kwargs)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/deepstate-0.1-py3.6.egg/deepstate/main_manticore.py", line 312, in done_test
    mc.report()
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/deepstate-0.1-py3.6.egg/deepstate/common.py", line 404, in report
    b = self.concretize_min(symbols[i], constrain=True)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/deepstate-0.1-py3.6.egg/deepstate/main_manticore.py", line 113, in concretize_min
    concrete_val = min(self.state.concretize(val, policy='MINMAX'))
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/state.py", line 232, in concretize
    vals = self._solver.minmax(self._constraints, symbolic)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/smtlib/solver.py", line 107, in minmax
    m = self.min(constraints, x, iters)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/smtlib/solver.py", line 102, in min
    return self.optimize(constraints, X, 'minimize', M)
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/smtlib/solver.py", line 443, in optimize
    self._reset(temp_cs.to_string(related_to=X))
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/smtlib/solver.py", line 245, in _reset
    self._start_proc()
  File "/home/travis/virtualenv/python3.6.5/lib/python3.6/site-packages/manticore/core/smtlib/solver.py", line 189, in _start_proc
    raise Z3NotFoundError  # TODO(mark) don't catch this exception in two places
manticore.exceptions.Z3NotFoundError
[Errno 12] Cannot allocate memory Probably too many cached expressions? visitors._cache...
DONE
TOTAL EXECUTION TIME: 859.0749821662903
RETURN VALUE: 0
RETURNING AS RESULT: INTERNAL ERROR
================================================================================
F
======================================================================
FAIL: test_manticore (test_oneof.OneOfTest)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/home/travis/build/trailofbits/deepstate/tests/deepstate_base.py", line 10, in test_manticore
    self.run_deepstate("deepstate-manticore")
  File "/home/travis/build/trailofbits/deepstate/tests/test_oneof.py", line 10, in run_deepstate
    self.assertEqual(r, 0)
AssertionError: 'INTERNAL ERROR' != 0
----------------------------------------------------------------------
Ran 2 tests in 1240.311s

Apr 21 '19 23:04 ggrieco-tob

I haven't really looked in much detail but just based on the error message maybe the machine ran out of memory?

On Sun, Apr 21, 2019 at 7:48 PM Gustavo Grieco [email protected] wrote:

Manticore fails in this particular example, @mossberg https://github.com/mossberg is mentioned in the code, maybe he can help us. 😃

================================================================================

RUNNING: deepstate-manticore build/examples/OneOf

2019-04-21 22:00:30,717: [16805] m.c.manticore:INFO: Verbosity set to 1.

INFO:deepstate.mcore:Running 1 tests across 1 workers

2019-04-21 22:00:36,220: [16805] m.c.manticore:INFO: Verbosity set to 1.

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:+=1

TRACE:deepstate:+=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/4ae71336e44bf9bf79d2752e234818a5.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:+=1

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/cf404dc806178c245b5b4fe2531e6d8c.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:+=1

TRACE:deepstate:*2

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 02

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/4dc8564dbd8210652f4097f7c50f67cf.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:*2

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60: did +2 from -2147483618

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 1e 00 00 00 00 00 00 00 02

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/1e1fb7b6a7680c553fab19990b87c1de.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:+=1

TRACE:deepstate:*2

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60: did ++2 from -2147483619

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 1d 00 00 00 00 00 00 00 00 00 00 00 02

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/c222fcd6dec76010754677ec6e191d15.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:*2

TRACE:deepstate:+=1

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 61 is >= 60: did +2+ from -2147483619

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 1d 00 00 00 00 00 00 00 02 00 00 00 00

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/c9f69812981477fb3bf4092767ba1076.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:*2

TRACE:deepstate:*2

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 02 00 00 00 02

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/45571c3a3240229145ca5d51fd7af527.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60: did 2 from -2147483617

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 1f 00 00 00 02

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/707384ac5102094aa6974f1e4765f063.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:-=1

TRACE:deepstate:+=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 01 00 00 00 00

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/865dfd07fb3c5be637c286b966e4ffe4.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:*2

TRACE:deepstate:+=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 02 00 00 00 00

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/0aeda78e0215bbde8f8c1db34ecb9d86.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:-=1

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 01 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/ba3e801dee03c2d39b5b4fac2852f3bf.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:-=1

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 2147483647 is >= 60: did - from -2147483648

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 00 00 00 00 01

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/3d90aabd909acab9f1b45dab298ac24d.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:+=10

TRACE:deepstate:+=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 03 00 00 00 00

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/76c26bde28230a8c142c33bc87f06ff5.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:+=1

TRACE:deepstate:+=10

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 03

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/093a492a153ea0cd5e2a72987d760be0.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:-=1

TRACE:deepstate:*2

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60: did +-2 from -2147483617

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 1f 00 00 00 00 00 00 00 01 00 00 00 02

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/d81389dad4dd06f279564803dc287201.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:+=1

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 61 is >= 60: did 2+ from -2147483618

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 1e 00 00 00 02 00 00 00 00

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/be0209078ea3a50ba4bd3c623e75d977.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:-=1

TRACE:deepstate:+=10

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 01 00 00 00 03

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/2d16c94e9277200bff2397efe192dbdc.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:-=1

TRACE:deepstate:=0

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 01 00 00 00 04

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/f71f01187ae744fb167b5664e0db2629.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:*2

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 02 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/9753ac4fa68412c338f11234d94b022c.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:-=1

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 2147483647 is >= 60: did 2- from -1073741824

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: c0 00 00 00 00 00 00 02 00 00 00 01

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/af893eede7009d31ed170ed02ee3dc8a.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:*2

TRACE:deepstate:*2

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 64 is >= 60: did +22 from -2147483633

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 0f 00 00 00 00 00 00 00 02 00 00 00 02

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/2442593025fb43e293b6f8d99f5264ab.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:+=10

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60: did 2x from -2147483622

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 1a 00 00 00 02 00 00 00 03

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/85bb1ff8da2f05b348f9c578c83999cf.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:=0

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 04 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/e5d8da1b03001b8cbd1cc9d6aa7cac53.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:-=1

TRACE:deepstate:+=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 01 00 00 00 00

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/d1a40a3e8db320bb366d78999465b905.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:*2

TRACE:deepstate:=0

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 02 00 00 00 04

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/92643094233f7e822173cceabbce6022.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:-=1

TRACE:deepstate:*2

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 01 00 00 00 02

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/0d7d168b4c9e8d7916447fd31c46a4fb.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:+=10

TRACE:deepstate:+=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 03 00 00 00 00

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/42698fef9f0960642244ec59024062f3.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:=0

TRACE:deepstate:+=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 04 00 00 00 00

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/71b4504d2745d3db9bfdc28fbb7d03e7.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:+=1

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 00 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/21e0f2975a84e78cec58787af28bde14.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:-=1

TRACE:deepstate:+=1

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/9854bba2816312495ab3f00b17265b81.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:+=1

TRACE:deepstate:=0

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 04

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/6f3101dd6ec6ffffe78c20011cc63ab2.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:+=10

TRACE:deepstate:=0

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 03 00 00 00 04

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/0837b130cd8d3b0f9f6a6189d6a0d4a8.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:-=1

TRACE:deepstate:+=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 01 00 00 00 00

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/457bb9307d2b07f580b1aac1bda4f403.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:+=1

TRACE:deepstate:+=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 00 00 00 00 00

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/51682bb715351aa2d25e1585f4ff0424.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:*2

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 02 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/f6d52309c04537f001676483261e52b9.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:+=10

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 03 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/281f6fffa593272f6bdea05f7c3aa388.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:+=1

TRACE:deepstate:+=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 00 00 00 00 00

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/32d22963b627ceab6638998960bc3402.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:+=10

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 03 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/c7358f5da89d34024f287cb0f9556267.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:+=1

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 00 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/f8d3b5b72db6c87fb1a5655b482016c6.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:+=10

TRACE:deepstate:+=1

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 61 is >= 60: did 2x+ from -2147483623

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 19 00 00 00 02 00 00 00 03 00 00 00 00

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/00d39e9107ba125ad8513b719ceedafa.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:-=1

TRACE:deepstate:+=1

TRACE:deepstate:+=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00 00

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/285d5fed06dc52aea04a13cc9426616b.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:*2

TRACE:deepstate:+=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 02 00 00 00 00

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/ea298d2cbbeb3dd6c4eb8b2c35bc9a08.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:+=1

TRACE:deepstate:=0

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 00 00 00 00 04

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/01747ba148b4a3fa08ce4e5ccade47a6.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:*2

TRACE:deepstate:+=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 02 00 00 00 00

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/3c5de7c56ec22212f2deec8493949f22.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:+=1

TRACE:deepstate:*2

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60: did x+2 from -2147483628

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 14 00 00 00 03 00 00 00 00 00 00 00 02

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/cf49e46742470de74379fda81e7b65c5.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:-=1

TRACE:deepstate:-=1

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 2147483647 is >= 60: did +-- from -2147483648

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 00 00 00 00 00 00 00 00 01 00 00 00 01

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/d12b17fe50a394e7be3f1efa2591de14.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:+=1

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 00 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/b0d568a067b6395cee93094df5417cec.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:*2

TRACE:deepstate:+=1

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 61 is >= 60: did 22+ from -2147483633

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 0f 00 00 00 02 00 00 00 02 00 00 00 00

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/3636c7d4dcc2877a3fe629f9873834f5.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:-=1

TRACE:deepstate:+=1

TRACE:deepstate:+=10

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00 03

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/7d3d1d27964f6da86560b347010716ee.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:+=10

TRACE:deepstate:+=10

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60: did 2xx from -2147483627

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 15 00 00 00 02 00 00 00 03 00 00 00 03

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/0f4b7966c0dffd6eeb1fca9a9ac2f96a.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:*2

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60: did x2 from -2147483627

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 15 00 00 00 03 00 00 00 02

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/274e6c02e27b7ac3c84359de35fad958.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:*2

TRACE:deepstate:+=10

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60: did +2x from -2147483623

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 19 00 00 00 00 00 00 00 02 00 00 00 03

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/27af03aa9a8ac02f17a640bd83dae90f.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:*2

TRACE:deepstate:+=10

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 02 00 00 00 03

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/a54a5935a1cb3cad76d058996ee6a99d.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:*2

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 64 is >= 60: did 22 from -2147483632

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 10 00 00 00 02 00 00 00 02

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/d679fe3d98f1d1efda6338ae51a29059.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:+=1

TRACE:deepstate:*2

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 00 00 00 00 02

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/651b214fd22966ecf76be1467b7f315b.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:*2

TRACE:deepstate:-=1

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 2147483647 is >= 60: did +2- from -1073741825

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: bf ff ff ff 00 00 00 00 00 00 00 02 00 00 00 01

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/52b7718b62bcef849c89f719af0bef6c.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:+=10

TRACE:deepstate:+=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 03 00 00 00 00

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/e7964330a76e0b1e2063ed0bae52556d.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:*2

TRACE:deepstate:=0

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 02 00 00 00 04

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/8da8acb1e901b12c3997314fa824ff10.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:+=1

TRACE:deepstate:*2

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60: did 2+2 from -2147483633

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 0f 00 00 00 02 00 00 00 00 00 00 00 02

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/aa74a5dbbe0231b43700ea3dce0844b3.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:*2

TRACE:deepstate:-=1

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 2147483647 is >= 60: did x2- from -1073741834

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: bf ff ff f6 00 00 00 03 00 00 00 02 00 00 00 01

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/1654be7fbf989d61b399e22052013f3e.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:=0

TRACE:deepstate:*2

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 04 00 00 00 02

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/e9dfc883570d81036fcd1af7c5e0bd7c.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:*2

TRACE:deepstate:*2

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 02 00 00 00 02

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/1eec5f8d100e4af472221d5a76703a4d.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:=0

TRACE:deepstate:+=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 04 00 00 00 00

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/c8f4571adb658c8b85d1f64abdaca02f.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:+=1

TRACE:deepstate:+=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 00 00 00 00 00

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/1fb332efe1406a104b11ffa1fa04fa7a.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:+=10

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 03 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/e74cfd3644e5306e2a7d94aefc38bde1.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:+=10

TRACE:deepstate:+=10

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 03 00 00 00 03

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/987d79593f90cb8a46548977f9d32e3f.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:-=1

TRACE:deepstate:+=1

TRACE:deepstate:*2

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00 02

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/f014c44f99b5d6162fc852fea57caceb.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:+=10

TRACE:deepstate:*2

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 03 00 00 00 02

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/a05bb86f5034625ac539e2ca9b054b5a.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:+=10

TRACE:deepstate:*2

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 64 is >= 60: did 2x2 from -2147483637

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 0b 00 00 00 02 00 00 00 03 00 00 00 02

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/0f0da5b0e4fde9cf5fd6fa439f0c5c10.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:+=1

TRACE:deepstate:*2

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 00 00 00 00 02

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/bb87a633e239d676aa7c8fd44e3b5ccb.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:-=1

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 01 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/fb15a9a2061b35ceb620c41ca599a736.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:+=10

TRACE:deepstate:=0

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 03 00 00 00 04

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/d33d9cd742bffdd9ef4cd3bbb12525aa.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:=0

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 04 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/9332e760f6c83b6f70cdbe287d2b4a71.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:-=1

TRACE:deepstate:+=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 01 00 00 00 00

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/0651c9d4f8172c094c5975d504f96abd.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:*2

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 02 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/29478d31584fa296bb25611c62e3cf4a.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:*2

TRACE:deepstate:-=1

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 2147483647 is >= 60: did 22- from -536870912

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: e0 00 00 00 00 00 00 02 00 00 00 02 00 00 00 01

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/9856becfb6e7d96dbc2742a018ae44e2.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:+=1

TRACE:deepstate:+=10

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 00 00 00 00 03

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/e8c15237442afcf50452bfd5871774af.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:*2

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 02 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/101e9b97b5a4b07a5c06f0bbd27e03c4.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:+=1

TRACE:deepstate:+=10

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 00 00 00 00 03

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/594a70d2b122ad96b7885813d3facc47.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:+=10

TRACE:deepstate:*2

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60: did +x2 from -2147483628

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 14 00 00 00 00 00 00 00 03 00 00 00 02

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/8df663a232167de18550bd6b7e8d4083.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:-=1

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 01 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/2088c9ccd8a3cdd180bd4cb1ce95f441.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:-=1

TRACE:deepstate:+=1

TRACE:deepstate:*2

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60: did -+2 from -2147483617

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 1f 00 00 00 01 00 00 00 00 00 00 00 02

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/d29601e3f2aaca6473227e3cb630520a.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:=0

TRACE:deepstate:=0

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 04 00 00 00 04

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/cc10e5e124663e57cad406df8161b343.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:=0

TRACE:deepstate:+=10

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 04 00 00 00 03

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/5a2a09118bdbf1aea1d2f6cf9bda7ca8.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:-=1

TRACE:deepstate:*2

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 62 is >= 60: did x-2 from -2147483626

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 16 00 00 00 03 00 00 00 01 00 00 00 02

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/8733749464d98a6742b3058703f33bfe.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:-=1

TRACE:deepstate:+=1

TRACE:deepstate:=0

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00 04

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/4a3d91341b341adc6ac81edd70aa734b.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:+=10

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 03 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/4de66622861d1a7a51ff4ca5a6b4d783.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:-=1

TRACE:deepstate:-=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 01 00 00 00 01

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/695d99f6b735559ef50175678d37a631.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:+=10

TRACE:deepstate:*2

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 03 00 00 00 02

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/6d4c956a8baab806d3f516d28d6c8c1a.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:+=10

TRACE:deepstate:=0

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 03 00 00 00 04

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/998ee910b5ce55a3c211566002eae7a9.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:=0

TRACE:deepstate:+=10

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 04 00 00 00 03

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/d39900da2b0db2c663baf9e2b0edf2c3.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:+=10

TRACE:deepstate:=0

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 03 00 00 00 04

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/5c8d2d3c515b0a4630d6f3a5033358a1.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:+=1

TRACE:deepstate:=0

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 00 00 00 00 04

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/6f53e74b107fcdf739573f29351ad305.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:+=10

TRACE:deepstate:+=10

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 03 00 00 00 03

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/0fd227eea60c963b84c91cae5e1f4b45.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:-=1

TRACE:deepstate:*2

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 01 00 00 00 02

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/f818535c47f4573e09b9200d480298c3.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=1

TRACE:deepstate:*2

TRACE:deepstate:+=10

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 00 00 00 00 02 00 00 00 03

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/1ef2c59c2bc33c56584be3e5f4e1a71c.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:=0

TRACE:deepstate:+=1

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 04 00 00 00 00

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/7605286f36bde1ae313ca70e3bf8786e.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:-=1

TRACE:deepstate:*2

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 01 00 00 00 02

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/a4d16692460c4bf92412627f7ab9f6da.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:*2

TRACE:deepstate:=0

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 02 00 00 00 04

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/17a4c48b199e92d86ce054e029358ed8.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:*2

TRACE:deepstate:*2

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 02 00 00 00 02

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/da4cf4f33cb56024e215375a67ac16d7.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:+=10

TRACE:deepstate:+=10

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 03 00 00 00 03

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/e5a7f8f934273376391e4f4eb40fc85d.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:*2

TRACE:deepstate:*2

CRITICAL:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(62): 64 is >= 60: did x22 from -2147483642

ERROR:deepstate:Failed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 80 00 00 06 00 00 00 03 00 00 00 02 00 00 00 02

INFO:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/b946db0d682a9b732ab340194ebb6d1b.fail

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:+=10

TRACE:deepstate:*2

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 03 00 00 00 02

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/beadfddc00a76c2ea019e546fc48de21.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:=0

TRACE:deepstate:*2

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 04 00 00 00 02

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/14d4a86ac5dd2897cc1c125a7bb068af.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:-=1

TRACE:deepstate:=0

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 01 00 00 00 04

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/5c4faa2d8c37241fe51ad9949ece443e.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:=0

TRACE:deepstate:-=1

TRACE:deepstate:=0

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 04 00 00 00 01 00 00 00 04

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/6f0c9eae675ec5b2bec97c584622961c.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:*2

TRACE:deepstate:=0

TRACE:deepstate:=0

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 02 00 00 00 04 00 00 00 04

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOrHigher/dcc37ccc67884cfbb68fc9e694c60b75.pass

TRACE:deepstate:Running OneOfExample_ProduceSixtyOrHigher from /home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(23)

TRACE:deepstate:/home/travis/build/trailofbits/deepstate/examples/OneOf.cpp(25): Checked condition

TRACE:deepstate:+=10

TRACE:deepstate:*2

TRACE:deepstate:*2

TRACE:deepstate:Passed: OneOfExample_ProduceSixtyOrHigher

TRACE:deepstate:Input: 00 00 00 00 00 00 00 03 00 00 00 02 00 00 00 02

TRACE:deepstate:Saved test case in file out/OneOf.cpp/OneOfExample_ProduceSixtyOr

Apr 22 '19 03:04 offlinemark

deepstate deepstate copied to clipboard

OneOf fails in manticore: Cannot allocate memory Probably too many cached expressions

deepstate
deepstate copied to clipboard