Skip to content

Commit 3d07203

Browse files
committed
Update test_1.expected
1 parent 45c83a3 commit 3d07203

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed
Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,9 @@
11

22
ensures_maybe_except_none: verified
33

4-
(Origin_test_helper_procedure_Requires)req_name_is_foo: unknown
4+
(Origin_test_helper_procedure_Requires)req_name_is_foo: failed
5+
CEx: ($__s8, "")
56

6-
(Origin_test_helper_procedure_Requires)opt_name_none_or_bar: verified
7+
(Origin_test_helper_procedure_Requires)opt_name_none_or_str: verified
78

89
(Origin_test_helper_procedure_Requires)opt_name_none_or_bar: verified

0 commit comments

Comments
 (0)