Skip to content

Commit 32f3109

Browse files
committed
chore: add smoke test
1 parent 226038d commit 32f3109

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

bindings/csharp/PeerDASKZG.test/UnitTest1.cs

+4-1
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
using PeerDASKZG;
2+
13
namespace PeerDASKZG.test;
24

35
public class Tests
@@ -8,8 +10,9 @@ public void Setup()
810
}
911

1012
[Test]
11-
public void Test1()
13+
public void TestSmoke()
1214
{
15+
PeerDASKZG.ProverContextNew();
1316
Assert.AreEqual(true, true);
1417
}
1518
}

0 commit comments

Comments
 (0)