DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Fix for new C interface to string generation

Browse Source
This commit is contained in:
Alex Groce 2018-12-31 13:19:57 -07:00
parent efb3c07314
commit 943627819d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
examples/Squares.c
View File

@ -10,7 +10,7 @@ int square(int x) {
DeepState_EntryPoint(test_main) {
const char *new_args[2];
new_args[0] = "deepstate";
new_args[1] = DeepState_CStr(8);
new_args[1] = DeepState_CStr_C(8, 0);
DeepState_Assert(0 == old_main(2, new_args));
}