github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-04-20 03:03:25 -04:00
Code Issues Packages Projects Releases Wiki Activity

Remove dbg.asm.

Browse Source
This commit is contained in:
chriseth
2024-01-30 12:22:50 +01:00
parent cf856f4595
commit a71488710a
2 changed files with 11 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
pil-analyzer/src/evaluator.rs
View File

@@ -196,7 +196,7 @@ pub enum BuiltinFunction {
/// std::check::panic: string -> !, fails evaluation and uses its parameter for error reporting.
/// Does not return.
Panic,
/// std::dbg::print: string -> [], prints its argument on stdout.
/// std::debug::print: string -> [], prints its argument on stdout.
/// std::debug::print: string -> [], prints its argument on stdout.
/// Returns an empty array.
Print,
@@ -768,4 +768,14 @@ mod test {
"#;
assert_eq!(parse_and_evaluate_symbol(src, "zpz"), "1".to_string());
}
#[test]
pub fn debug_print() {
let src = r#"
namespace std::debug(8);
let print = 2;
let N = std::debug::print("test output\n");
"#;
parse_and_evaluate_symbol(src, "std::debug::N");
}
}

7
std/dbg.asm
View File

@@ -1,7 +0,0 @@
/// This is a built-in function taking a string argument and printing it on stdout
/// when evaluated.
/// It returns an empty array so that it can be used at constraint level.
/// This symbol is not an empty array, the actual semantics are overridden.
let print = [];
let println = |msg| print(msg + "\n");