The time is now Tuesday, February 6th, 2024 11:21:31pm (/usr/bin/env DISPLAY=:1 PLT_PKG_BUILD_SERVICE=1 PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLTSTDERR=debug@pkg error PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 4 -u --auto defensive-to-contracts && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 4 --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 . "d07c5c86ddf2513542b52f2f8e3c4acb79c580cc") (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") "d07c5c86ddf2513542b52f2f8e3c4acb79c580cc" #f "defensive-to-contracts") raco setup: version: 8.12 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.12 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.12/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.12/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.12/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 --- [4:21:32] raco setup: updating: /home/root/user/.local/share/racket/8.12/share/info-cache.rktd raco setup: --- pre-installing collections --- [4:21:32] raco setup: --- installing foreign libraries --- [4:21:32] raco setup: --- installing shared files --- [4:21:32] raco setup: --- compiling collections --- [4:21:32] raco setup: --- parallel build using 4 jobs --- [4:21:32] raco setup: 3 making: /defensive-to-contracts raco setup: 3 making: /defensive-to-contracts/sample-defensive raco setup: 3 making: /defensive-to-contracts/scribblings raco setup: --- creating launchers --- [4:21:34] raco setup: --- installing man pages --- [4:21:34] raco setup: --- building documentation --- [4:21:34] raco setup: syncing: /defensive-to-contracts/doc/defensive-to-contracts raco setup: 3 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 2 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 3 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 3 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 2 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [4:21:42] raco setup: --- post-installing collections --- [4:21:42] raco test: 0 (submod "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/chspans.rkt" test) raco test: 1 (submod "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/complex-pred-to-facts.rkt" test) raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/definitions.rkt" raco test: 3 (submod "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/fact-to-contract.rkt" test) raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/info.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/main.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/pcond.rkt" raco test: 2 (submod "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/program-fact.rkt" test) raco test: 3 (submod "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/related-fact.rkt" test) raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/helloworld.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/pcond-onearg.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/racketcon.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/racketcon_.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/realworld1.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/realworld2.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/realworld3.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/simple-defensive-two-arg-with-begin.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/simple-defensive-two-arg.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/simple-dependent.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/unless-one-arg.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/scribblings/defensive-to-contracts.scrbl" raco test: 3 (submod "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/simplify-fact.rkt" test) raco test: 1 (submod "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/structure-deletions.rkt" test) raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/syntax-to-contract.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/textedit.rkt" 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/chspans.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/complex-pred-to-facts.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/definitions.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/fact-to-contract.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/info.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/main.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/pcond.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/program-fact.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/related-fact.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/helloworld.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/pcond-onearg.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/racketcon.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/racketcon_.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/realworld1.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/realworld2.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/realworld3.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/simple-defensive-two-arg-with-begin.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/simple-defensive-two-arg.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/simple-dependent.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/sample-defensive/unless-one-arg.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/scribblings/defensive-to-contracts.scrbl 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/simplify-fact.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/structure-deletions.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/syntax-to-contract.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/defensive-to-contracts/textedit.rkt The time is now Tuesday, February 6th, 2024 11:21:47pm