Skip to content

viperproject/pcg

This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

0662535 · Feb 19, 2025
Feb 12, 2025
Jun 20, 2024
Feb 13, 2025
Feb 19, 2025
Feb 19, 2025
Feb 19, 2025
Feb 16, 2025
Feb 7, 2025
Feb 16, 2025
Feb 17, 2025
Feb 17, 2025
Feb 16, 2025
Feb 4, 2025
Feb 17, 2025
Jan 23, 2025
Feb 16, 2025
Feb 16, 2025
Feb 16, 2025
Feb 16, 2025
Feb 16, 2025
Feb 13, 2025
Feb 16, 2025

Repository files navigation

Running

To run:

cargo run [FILENAME].rs

To view the visualization

  1. PCG_VISUALIZATION=true cargo run [FILENAME.rs]
  2. cd visualization && ./serve
  3. Go to http://localhost:8080 and select the function you wish to view

Once the server is running, you can keep it running and analyze other files (e.g. cargo run [FILENAME2].rs). Just refresh the page to see updated results.

To run on the top crates use:

cargo test --package pcs --test top_crates -- top_crates --exact --show-output