andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- State counter issue should be fixed.

Browse Source
This commit is contained in:
ccremers 2004-07-09 09:30:32 +00:00
parent 35c7ff1877
commit aa564d7ccc
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/todo.txt
View File

@ -1,3 +1,4 @@
- State counter is off by one. Should start at 1, or should add 1 at printing.
- Make filter switch, allowing maybe for some claims only to be evaluated. - Make filter switch, allowing maybe for some claims only to be evaluated.
--check=Secret, --check-all as default. --check=Secret, --check-all as default.
- Some compiler errors are still sent to stdout. This must be fixed - Some compiler errors are still sent to stdout. This must be fixed