diff options
| author | Erik Martin-Dorel | 2020-05-04 14:54:43 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-05-04 14:54:43 +0200 |
| commit | 6f2f532af7d065779bca1e7c994d065f50338d9c (patch) | |
| tree | f3d008a5da93a0fab2d0f0b3035a10e81d1efb6f /ci/test_stepwise.v | |
| parent | 395f6f076ed4061417b4a5747797dab413ad2453 (diff) | |
test: Remove "Proof." workaround
Diffstat (limited to 'ci/test_stepwise.v')
0 files changed, 0 insertions, 0 deletions