mirror of
https://github.com/AleoHQ/leo.git
synced 2024-12-25 02:22:44 +03:00
Merge pull request #1284 from AleoHQ/dup-in32-patch-1
Update nonprinting.leo
This commit is contained in:
commit
062994e4fe
1
.github/workflows/acl2.yml
vendored
1
.github/workflows/acl2.yml
vendored
@ -72,6 +72,7 @@ jobs:
|
||||
for dir in ${canonicalization_errors[@]};
|
||||
do
|
||||
cat tmp/tgc/$dir/canonicalization_result.out
|
||||
cat tmp/tgc/$dir/canonicalization-theorem.lisp
|
||||
done;
|
||||
exit 1
|
||||
fi
|
||||
|
@ -37,7 +37,7 @@ function main(
|
||||
in30: char,
|
||||
in31: char,
|
||||
in32: char,
|
||||
in32: char,
|
||||
in33: char,
|
||||
) -> ([char; 33], bool) {
|
||||
let str = [
|
||||
in1,
|
||||
@ -72,8 +72,8 @@ function main(
|
||||
in30,
|
||||
in31,
|
||||
in32,
|
||||
in32,
|
||||
in33,
|
||||
];
|
||||
console.log("{}", str);
|
||||
return (str, in1 == '\x00');
|
||||
}
|
||||
}
|
||||
|
@ -4,21 +4,21 @@ expectation: Pass
|
||||
outputs:
|
||||
- circuit:
|
||||
num_public_variables: 0
|
||||
num_private_variables: 35
|
||||
num_private_variables: 36
|
||||
num_constraints: 3
|
||||
at: 27242eeb2faf33996c0329ac2ec3b337434f78d392ff29465d3508084de6c721
|
||||
bt: 4727127f178bb02895a615bf38a4aa3c5cb9d2b076eca15ebe6fea741b48ce98
|
||||
ct: cae904ba23a045f4438177f10211a50ae29eee49d08211c731aee88353dc0cfb
|
||||
at: 25579220a31118007fe071d3083ad5a5503f7dc6bd4d51abf15f1a7778a99c86
|
||||
bt: 8f5bf097224289e45b78e01a711900a993240585fe13744f9ab71a9c5c4d9111
|
||||
ct: df019f90846f94966d481bfb6d579bee9c47d281176e210ccd973210afc957a1
|
||||
output:
|
||||
- input_file: inputs/nonprinting.in
|
||||
output:
|
||||
registers:
|
||||
r0:
|
||||
type: "[char; 33]"
|
||||
value: "\"\\u{0}\\u{1}\\u{2}\\u{3}\\u{4}\\u{5}\\u{6}\\u{7}\\u{8}\\t\\n\\u{b}\\u{c}\\r\\u{e}\\u{f}\\u{10}\\u{11}\\u{12}\\u{13}\\u{14}\\u{15}\\u{16}\\u{17}\\u{18}\\u{19}\\u{1a}\\u{1b}\\u{1c}\\u{1d}\\u{1e}\\u{1f}\\u{1f}\""
|
||||
value: "\"\\u{0}\\u{1}\\u{2}\\u{3}\\u{4}\\u{5}\\u{6}\\u{7}\\u{8}\\t\\n\\u{b}\\u{c}\\r\\u{e}\\u{f}\\u{10}\\u{11}\\u{12}\\u{13}\\u{14}\\u{15}\\u{16}\\u{17}\\u{18}\\u{19}\\u{1a}\\u{1b}\\u{1c}\\u{1d}\\u{1e}\\u{1f} \""
|
||||
r1:
|
||||
type: bool
|
||||
value: "true"
|
||||
initial_ast: b03b0ea8ad821952fa64e477900b43c830e9fbd9693478018ad4b13abd12b027
|
||||
canonicalized_ast: b03b0ea8ad821952fa64e477900b43c830e9fbd9693478018ad4b13abd12b027
|
||||
type_inferenced_ast: 4ded1909fcd3fa1edf7de8111d3f7b97fced37b5b2d18b316f9fee3aad246f5e
|
||||
initial_ast: 4e9ef2d8121eabed385e2d358e2d9ed1dc64d88894c3dbfc078d5da34902ce4c
|
||||
canonicalized_ast: 4e9ef2d8121eabed385e2d358e2d9ed1dc64d88894c3dbfc078d5da34902ce4c
|
||||
type_inferenced_ast: 489e02b2ed42362bf493fe2fb58cf03ab06cfb95abd49b7ba0329a8e8d7c3daa
|
||||
|
Loading…
Reference in New Issue
Block a user