The time is now Friday, February 28th, 2025 11:51:48pm (/usr/bin/env PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: DISPLAY=:1 DISPLAY=:1 PLTSTDOUT=debug@pkg info@GC:major /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto defensive-to-contracts && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package defensive-to-contracts) Resolved "defensive-to-contracts" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "peterzhong2023@u.northwestern.edu") (checksum . "7e5c8b575e6dcd169ccf376d13e655ec5a7d8225") (dependencies . (("base") ("plai") ("gui-lib") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "This package presents a tool that converts defensive programming \r\ninto equivalent contracts. Currently, the tool is still at its infancy \r\nand have not been tested on many code bases. The sample folder contains\r\nsome example files to get you started. So far I have exposed two functions\r\nthat allows you to input a path and either returns the raw result or load up\r\na GUI that allows you to change a file.") (modules . ((lib "defensive-to-contracts/complex-pred-to-facts.rkt") (lib "defensive-to-contracts/sample-defensive/racketcon.rkt") (lib "defensive-to-contracts/scribblings/defensive-to-contracts.scrbl") (lib "defensive-to-contracts/sample-defensive/racketcon_.rkt") (lib "defensive-to-contracts/syntax-to-contract.rkt") (lib "defensive-to-contracts/sample-defensive/realworld3.rkt") (lib "defensive-to-contracts/program-fact.rkt") (lib "defensive-to-contracts/sample-defensive/realworld1.rkt") (lib "defensive-to-contracts/related-fact.rkt") (lib "defensive-to-contracts/definitions.rkt") (lib "defensive-to-contracts/sample-defensive/simple-dependent.rkt") (lib "defensive-to-contracts/sample-defensive/simple-defensive-two-arg-with-begin.rkt") (lib "defensive-to-contracts/textedit.rkt") (lib "defensive-to-contracts/structure-deletions.rkt") (lib "defensive-to-contracts/sample-defensive/helloworld.rkt") (lib "defensive-to-contracts/pcond.rkt") (lib "defensive-to-contracts/main.rkt") (lib "defensive-to-contracts/sample-defensive/realworld2.rkt") (lib "defensive-to-contracts/fact-to-contract.rkt") (lib "defensive-to-contracts/sample-defensive/simple-defensive-two-arg.rkt") (lib "defensive-to-contracts/sample-defensive/pcond-onearg.rkt") (lib "defensive-to-contracts/chspans.rkt") (lib "defensive-to-contracts/sample-defensive/unless-one-arg.rkt") (lib "defensive-to-contracts/simplify-fact.rkt"))) (name . "defensive-to-contracts") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/defensive-to-contracts.zip") (tags . ("contracts" "conversion" "defensive"))) pkg: creating single-collection link to # pkg: updating db with "defensive-to-contracts" to '#s((sc-pkg-info pkg-info 3) (catalog "defensive-to-contracts") "7e5c8b575e6dcd169ccf376d13e655ec5a7d8225" #f "defensive-to-contracts") raco setup: version: 8.16 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.16 raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/8.16/collects raco setup: /home/root/racket/collects/ raco setup: main pkgs: /home/root/racket/share/pkgs raco setup: pkgs paths: raco setup: /home/root/racket/share/pkgs raco setup: /home/root//user/.local/share/racket/8.16/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.16/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: main docs: /home/root/racket/doc raco setup: --- updating info-domain tables --- [23:51:50] raco setup: updating: /home/root/user/.local/share/racket/8.16/share/info-cache.rktd raco setup: --- pre-installing collections --- [23:51:50] raco setup: --- installing foreign libraries --- [23:51:50] raco setup: --- installing shared files --- [23:51:50] raco setup: --- compiling collections --- [23:51:50] raco setup: --- parallel build using 2 jobs --- [23:51:50] raco setup: 1 making: /defensive-to-contracts raco setup: 1 making: /defensive-to-contracts/sample-defensive raco setup: --- creating launchers --- [23:51:52] raco setup: --- installing man pages --- [23:51:52] raco setup: --- building documentation --- [23:51:52] raco setup: syncing: /defensive-to-contracts/doc/defensive-to-contracts raco setup: 1 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [23:51:59] raco setup: --- post-installing collections --- [23:51:59] GC: 0:atexit peak 357,819K(+179,780K); alloc 5,650,517K; major 5; minor 331; 2894ms raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/chspans.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/complex-pred-to-facts.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/definitions.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/fact-to-contract.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/info.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/pcond.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/program-fact.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/related-fact.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/helloworld.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/pcond-onearg.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/racketcon.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/racketcon_.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/realworld1.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/realworld2.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/realworld3.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/simple-defensive-two-arg-with-begin.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/simple-defensive-two-arg.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/simple-dependent.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/unless-one-arg.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/scribblings/defensive-to-contracts.scrbl") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/simplify-fact.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/structure-deletions.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/syntax-to-contract.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/textedit.rkt") 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/chspans.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/complex-pred-to-facts.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/definitions.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/fact-to-contract.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/info.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/main.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/pcond.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/program-fact.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/related-fact.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/helloworld.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/pcond-onearg.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/racketcon.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/racketcon_.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/realworld1.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/realworld2.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/realworld3.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/simple-defensive-two-arg-with-begin.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/simple-defensive-two-arg.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/simple-dependent.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/sample-defensive/unless-one-arg.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/scribblings/defensive-to-contracts.scrbl 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/simplify-fact.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/structure-deletions.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/syntax-to-contract.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/defensive-to-contracts/textedit.rkt GC: 0:atexit peak 97,718K(+36,897K); alloc 291,648K; major 1; minor 34; 228ms The time is now Friday, February 28th, 2025 11:52:06pm