Crate rem_utils

Re-exports§

build_project
check_project
compile_file
find_caller
format_source
parse_and_compare_ast: Parses two strings into ASTs and compares them for equality
print_file_diff: Prints the differences between two files to stdout
remove_all_files
resolve_aeneas_path: Resolves the path to the Aeneas Binary.
resolve_charon_path: Resolves the path to the Charon Binary.
strip_ansi_codes: Strips ANSI color codes from a string using a regex This is useful for comparing strings with ANSI color codes to strings without