Tractables/Dice.jl

fix

github-actions opened this issue · 1 comments

github-actions commented

Also print probability that property is met

function f_emit′(tag)

println_flush(rs.io, "Checking pr property met...")

time_infer = @Elapsed p_meets = pr_mixed(rs.var_vals)(meets_property)[true]

println(rs.io, " $(time_infer) seconds")

println_flush(rs.io)

end

Dice.jl/examples/qc/benchmarks/benchmarks.jl

Line 592 in 1c0c443

# TODO: fix 

    println(rs.io, "  $(time_build_loss) seconds")
    println(rs.io)

    SimpleLossMgr(loss)

    # TODO: fix
    # # Also print probability that property is met
    # function f_emit′(tag)
    #     println_flush(rs.io, "Checking pr property met...")
    #     time_infer = @elapsed p_meets = pr_mixed(rs.var_vals)(meets_property)[true]
    #     println(rs.io, "  $(time_infer) seconds")

    #     println_flush(rs.io, "Pr meets property: $(p_meets)")
    #     println_flush(rs.io)

    #     emit_stats(mgr, tag)
    # end
end

struct BookkeepingInvariant <: Property{RBT} end