diff options
| author | Kathy Gray | 2014-02-07 12:06:41 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-02-07 12:07:37 +0000 |
| commit | 062eadd4238692c2f5b486d0febcf05c7b48ca83 (patch) | |
| tree | 2fdf203cdb6c50de0408fd2fefefea3246e50fc8 /src/test | |
| parent | bf7ff7374afe6e01c1446a86d177d00193fa2784 (diff) | |
more checking
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/vectors.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/vectors.sail b/src/test/vectors.sail index f1fc6199..244beaff 100644 --- a/src/test/vectors.sail +++ b/src/test/vectors.sail @@ -7,7 +7,7 @@ register nat match_success function unit decode ([bitzero, bitzero, bitone, bitzero]) = match_success := 1 and decode x = match_success := x -function unit main _ = { +function bit main _ = { i := [bitzero, bitzero, bitone, bitzero]; |