774 Commits

Author SHA1 Message Date
ggrieco-tob 317794bd38 Update .travis.yml 2019-01-07 11:15:09 -03:00
ggrieco-tob 5e4980c212 Update .travis.yml 2019-01-07 10:50:19 -03:00
ggrieco-tob bddaca59d5 Upgrade to bionic (to use python3.6 from the official repositories) 2019-01-07 10:36:10 -03:00
ggrieco-tob e97c5fa1ee Update CMakeLists.txt 2019-01-07 10:22:52 -03:00
ggrieco-tob 0ac3c733ba Update .travis.yml 2019-01-07 09:28:23 -03:00
ggrieco-tob a3c4560d28 Fixed python-nose 2019-01-07 09:11:57 -03:00
ggrieco-tob 8ba19cb121 merge + fixes in travis 2019-01-07 09:05:19 -03:00
Alex Groce 8ced662872 mention loud option 2019-01-06 16:35:06 -07:00
Alex Groce b7e44b511e proper default 2019-01-06 14:58:29 -07:00
Alex Groce af4a0a2007 Add a loud mode for debugging libFuzzer on mac OS 2019-01-06 14:56:20 -07:00
Alex Groce f9334cdbc6 Merge pull request #161 from trailofbits/readme_example
Clean up the Runlen.cpp example and add it to README
2019-01-04 13:24:00 -07:00
Alex Groce 43fd179d6f Merge branch 'master' into readme_example 2019-01-04 13:22:54 -07:00
Alex Groce 0ef1e9b4c2 Multiple spelling error and readability fixes 2019-01-04 13:17:44 -07:00
Alex Groce 58df6801a1 more readme edits, typo fixes, etc. 2019-01-04 13:13:57 -07:00
Alex Groce cbdda8bdea reorg of README 2019-01-04 13:02:34 -07:00
Alex Groce a30234fc7c fix log level arg 2019-01-04 13:00:31 -07:00
Alex Groce 878528e672 add boring unit test 2019-01-04 12:49:43 -07:00
Alex Groce 0c8185567d comment clarifying example 2019-01-04 12:35:06 -07:00
Alex Groce f55bad722a comment on the code 2019-01-04 12:25:31 -07:00
Alex Groce 65e86bcc82 add code in README 2019-01-04 12:19:27 -07:00
Alex Groce 276ce6cb3f clean up formatting 2019-01-04 12:00:57 -07:00
Alex Groce 59a3b51f9f Tidy up the example 2019-01-04 11:44:33 -07:00
Alex Groce c5479ba663 Typos 2019-01-03 20:19:06 -07:00
Alex Groce 2fbfa652b4 minor fixes to output improvements, correct README 2019-01-03 19:22:14 -07:00
Alex Groce c58ca9b116 Fix check 2019-01-03 18:32:47 -07:00
Alex Groce d29654832e Merge pull request #156 from trailofbits/add_deepstate_string
stab at string generator
2019-01-03 17:25:04 -07:00
Alex Groce 405a1948d7 Merge pull request #157 from trailofbits/more_readable_output
Change symex and fuzzing outputs to default to something readable and friendly
2019-01-03 17:24:47 -07:00
Alex Groce fadd43ce71 test replay is quiet but reports numbers 2019-01-03 15:48:11 -07:00
Alex Groce d2b632ef25 default replay of multiple tests to a quiet mode 2019-01-03 15:28:26 -07:00
Alex Groce 91b8b5b8d1 Fix the mac OS abort problem with libFuzzer 2019-01-03 15:02:59 -07:00
Alex Groce ca400bc2a0 fix so count of failed tests is correct 2019-01-03 14:52:46 -07:00
Alex Groce 80e285a3bc Change fuzzing status to timestamped speed and failure count 2019-01-03 14:29:55 -07:00
Alex Groce 68307c1111 Much nicer fuzzer output with status updates 2019-01-03 13:23:30 -07:00
Alex Groce 63952ff067 fix output check in tests 2019-01-03 12:58:42 -07:00
Alex Groce 3133540027 fix various messages in DeepState to be more helpful and consistent 2019-01-03 12:56:35 -07:00
Alex Groce 2b6e57b1e1 change FATAL to CRITICAL to match Python 2019-01-03 12:11:30 -07:00
Alex Groce dec77fd926 more quiet 2019-01-03 12:03:25 -07:00
Alex Groce 652d6355b2 More silent: nothing about test failures 2019-01-03 11:59:55 -07:00
Alex Groce 1247ac64a2 fix random range issue 2019-01-03 00:30:28 -07:00
Alex Groce 8a5d681c16 temp fix 2019-01-02 20:50:53 -07:00
Alex Groce fec2849bfb Fix logging level in logrun, demote assumption checks 2019-01-02 20:16:09 -07:00
Alex Groce 9e99978043 tests are verbose for debugging and checking output 2019-01-02 18:17:15 -07:00
Alex Groce 4b6316fd71 Merge branch 'more_readable_output' of https://github.com/trailofbits/deepstate into more_readable_output 2019-01-02 16:32:12 -07:00
Alex Groce e65adca27b assign logging.TRACE 2019-01-02 16:31:45 -07:00
Alex Groce 8ef1bd6af8 assign LOGGING.trace 2019-01-02 16:31:45 -07:00
Alex Groce 9f8f0f0a41 set default log level in symex 2019-01-02 16:31:45 -07:00
Alex Groce 4bc1a3c00d start on symex logging changes 2019-01-02 16:31:45 -07:00
Alex Groce caa3d33429 change log level when fuzzing if not specified 2019-01-02 16:31:45 -07:00
Alex Groce 16de1bc68c assign logging.TRACE 2019-01-02 16:15:08 -07:00
Alex Groce 1bfaeaac68 assign LOGGING.trace 2019-01-02 16:13:19 -07:00