diff options
| author | Joachim StroĢmbergson <joachim@secworks.se> | 2015-05-20 18:17:37 +0200 |
|---|---|---|
| committer | Joachim StroĢmbergson <joachim@secworks.se> | 2015-05-20 18:17:37 +0200 |
| commit | b4c31416f033e03f0d4baf006163c5e7bb033294 (patch) | |
| tree | 54e7786644098172184283d4b8812b7c468f421d /src/model/c | |
| parent | a8662af84800b95fc143930962203191b6bec2fa (diff) | |
(1) Removed unneeded default state. (2) Cleanup of testbench and added a bigger test case.
Diffstat (limited to 'src/model/c')
0 files changed, 0 insertions, 0 deletions