Skip to content

Commit

Permalink
Minor
Browse files Browse the repository at this point in the history
  • Loading branch information
pavpanchekha committed Jan 20, 2025
1 parent 829a277 commit 78187da
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/api/server.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -367,7 +367,8 @@
(define (make-local-error-result herbie-result job-id)
(hasheq 'tree (job-result-backend herbie-result)))

(define (make-sample-result herbie-result test job-id)
(define (make-sample-result herbie-result job-id)
(define test (job-result-test herbie-result))
(define pctx (job-result-backend herbie-result))
(define repr (context-repr (test-context test)))
(hasheq 'points (pcontext->json pctx repr)))
Expand Down

0 comments on commit 78187da

Please sign in to comment.