Skip to content

Commit e46fe66

Browse files
committed
Added options for turning off fuzzing or symbolic
1 parent e8bdc2d commit e46fe66

File tree

5 files changed

+85
-72
lines changed

5 files changed

+85
-72
lines changed

.gitignore

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
11
__pycache__/
2-
/results/
32
.dmypy.json
3+
results*
4+
stashed*
5+
.coverage

0 commit comments

Comments
 (0)