This project is a demonstration of trivial log visualization. It is not intended for usage outside the main project.
Use cmake
for building.
Run on the log folder:
loghealth tmp_folder_path
The typical response for Equid project would be:
aisolver.log π π π π π π π‘π‘π€π‘π‘π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π
cvc4solver.log π π π π π π π‘π‘π‘π‘π‘π‘π π π π π‘π‘π‘π‘π‘π‘π‘π‘π‘π‘π‘π‘π‘π‘π‘π€π‘π‘π π‘π‘π‘π‘π‘π π‘π‘π‘π‘π‘π π π π
cvc4solverType.log π π π π π π π‘π€π‘π‘π‘π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π
debug.log π π π π π π‘π‘π π π π€π π π π π π π‘π‘π π‘π‘π π‘π‘π π‘π π‘π π‘π‘π π‘π π π‘π‘π‘π π π‘π π‘π π‘π π π π
diagmodel.log π π π π π π π€π π‘π π‘π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π
executionmodel.log π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π
flattening.log π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π
fragmentvisitor.log π‘π‘π π‘π π€π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π
hypervisor.log π π π π π π‘π€π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π
multisolver.log π π π π π π π‘π‘π€π‘π‘π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π
output.log π π π π π π€π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π
parsing.log βπ‘π βπ π€π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π‘
resourcevisitor.log π‘π‘π π‘π π€π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π‘
stpsolver.log π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π
tagvisitor.log π‘βπ βπ π‘π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π
virtualprocessor.log π π π π π π‘π€π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π π