Skip to content

Commit 42d60d3

Browse files
committed
✅ Update specs
1 parent 393bd16 commit 42d60d3

File tree

3 files changed

+12
-10
lines changed

3 files changed

+12
-10
lines changed

spec/hello_test.v

Lines changed: 0 additions & 9 deletions
This file was deleted.

spec/vest_test.v

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
import vest { filter }
2+
3+
fn test_is_bool() {
4+
assert filter(true).is_bool() == true
5+
assert filter(false).is_bool() == true
6+
assert filter(1).is_bool() == false
7+
assert filter('').is_bool() == false
8+
assert filter([u8(1)]).is_bool() == false
9+
}

spec/assert_test.v renamed to spec/vunit_test.v

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,6 @@
1-
import vut { expect }
1+
import vunit { expect }
2+
3+
// Test ensure, assert and expect
24

35
fn test_primitive() {
46
expect(false).to_be_primitive()

0 commit comments

Comments
 (0)