core: constraint check uniqueness

This commit is contained in:
Pere Diaz Bou 2024-09-20 11:45:55 +02:00
parent fc07ca9d73
commit c8e5673f7a
6 changed files with 56 additions and 9 deletions

View file

@ -383,9 +383,12 @@ pub fn insn_to_str(
0,
"".to_string(),
),
Insn::Halt => (
Insn::Halt {
err_code,
description: _,
} => (
"Halt",
0,
*err_code as i32,
0,
0,
OwnedValue::Text(Rc::new("".to_string())),