Enable assertions, now working

This commit is contained in:
Daniel Lubarov 2022-07-18 13:48:51 -07:00
parent cbdf2a66a1
commit 50144a638f

View File

@ -23,7 +23,7 @@ pub fn evm_constants() -> HashMap<String, U256> {
#[allow(dead_code)] // TODO: Should be used once witness generation is done.
pub(crate) fn combined_kernel() -> Kernel {
let files = vec![
// include_str!("asm/assertions.asm"), // TODO: Should work once PR 619 is merged.
include_str!("asm/assertions.asm"),
include_str!("asm/basic_macros.asm"),
include_str!("asm/exp.asm"),
include_str!("asm/curve_mul.asm"),