Closed THinnerichs closed 8 months ago
Also adding reading and writing for these:
"""
read_IOPexamples(filepath::AbstractString)::Vector{Tuple{IOPExample}
Reads serialized IO + program examples from disk after type checking.
"""
function read_IOPexamples(filepath::AbstractString)::Vector{IOPExample}
@assert endswith(filepath, ".xiop")
return deserialize(filepath)
end
"""
write_IOPexamples(filepath::AbstractString, examples::Vector{Tuple{IOExample, Any}})
Writes IO examples and the corresponding programs to disk by serializing them into a file using HDF5 checking for and appending the `.xiop`.
"""
function write_IOPexamples(filepath::AbstractString, examples::Vector{IOPExample})
serialize(filepath * (endswith(filepath, ".xiop") ? "" : ".xiop"), examples)
end
Do we actually still want this?
I would say no because it is not a problem specification, just some handy structure
On Sun, 11 Feb 2024 at 15:07, Tilman Hinnerichs @.***> wrote:
Do we actually still want this?
— Reply to this email directly, view it on GitHub https://github.com/Herb-AI/HerbBenchmarks.jl/issues/14#issuecomment-1937764753, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAVLHQUINWQVV2RNYIJY7OTYTDGBVAVCNFSM6AAAAABCAESPICVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTSMZXG43DINZVGM . You are receiving this because you are subscribed to this thread.Message ID: @.***>
-- Sebastijan Dumancic, Assistant Professor Delft University of Technology | Algorithmics group https://sebdumancic.github.io/ https://people.cs.kuleuven.be/~sebastijan.dumancic
was in HerbData, but should not be there. Add it to here.