Skip to content

Commit d5e8e4c

Browse files
committed
updated snapshot tests
1 parent 9bf42b1 commit d5e8e4c

File tree

2 files changed

+21
-0
lines changed

2 files changed

+21
-0
lines changed
Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
---
2+
source: src/diagnostic.rs
3+
expression: content
4+
---
5+
warning: Random Warning
6+
┌─ main.calyx:2:1
7+
8+
2assert_eq!(x, 20);
9+
^^ Random Warning
10+
11+
error: Random Error
12+
┌─ main.calyx:2:4
13+
14+
2assert_eq!(x, 20);
15+
^^^ Random Error

tests/snapshots/protocols__typecheck__tests__add_transaction.snap

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,3 +19,9 @@ error: Cannot assign to function argument. Try using assert_eq if you want to ch
1919
2020
15 │ s := DUT.s;
2121
^^^^^^^^^^^ Cannot assign to function argument. Try using assert_eq if you want to check the value of a transaction output.
22+
23+
error: DUT.s is an output and thus cannot be assigned.
24+
┌─ add.prot:16:3
25+
26+
16 │ DUT.s := a;
27+
^^^^^^^^^^^ DUT.s is an output and thus cannot be assigned.

0 commit comments

Comments
 (0)