Skip to content

issues Search Results · repo:Kattis/problemtools language:Python

Filter by

127 results
 (67 ms)

127 results

inKattis/problemtools (press backspace or delete to remove)

I got the following warning: No validator rejects trailing zeros added to real number decimal portion I am using CTD to validate: FLOAT(0,10^9) It feels like this should be fine, and I don t know what ...
  • dtowell
  • 2
  • Opened 
    12 days ago
  • #287

It should be an error if a problem has an empty (i.e. empty string or only non-printable characters) name. This is much more likely now due to the changes in the problem format from legacy. In the new ...
  • niemela
  • 1
  • Opened 
    on Nov 15, 2024
  • #282

root@5552ef279509:/2024/na-central-rocky/problems# verifyproblem Traceback (most recent call last): File /usr/local/bin/verifyproblem , line 5, in module from problemtools.verifyproblem import main ModuleNotFoundError: ...
  • jifland
  • Opened 
    on Oct 28, 2024
  • #280

using the current source code and building the dozer image so it will run on my M1 Mac. Clone the problem set repo onto the docker image. run verify problem and am getting errors from the run of that program: ...
  • jifland
  • 2
  • Opened 
    on Oct 27, 2024
  • #279

Can help catch errors from manual entry.
  • Tagl
  • Opened 
    on Sep 10, 2024
  • #277

Right now if a submission does exit(10), verifyproblem treats this as an RTE, despite the fact that there is no runtime exception. To save the judges a lot of time tracking down an issue in a submission ...
  • rokicki
  • Opened 
    on May 21, 2024
  • #260

Though verifyproblem may seem to properly support languages like Java, the production instance of Kattis does not. This was observed in https://open.kattis.com/problems/sequenceguessing. The warning that ...
  • xiaowuc1
  • 3
  • Opened 
    on Mar 2, 2024
  • #258

image I just installed problemtools and it seams that the latest merge #253 added an error this error is showing up on all problems that I try to verify
  • EinarDarri
  • 2
  • Opened 
    on Feb 15, 2024
  • #254

It is a bit unclear to me what spec the tools in this repo are supposed to follow, I can find three different specifications: - One at https://www.problemarchive.org/ - Legacy spec at kattis.com ...
  • birktj
  • 1
  • Opened 
    on Jan 8, 2024
  • #250

Hi, This is more of a recommendation that would ease PR / Merging significantly: Namely, use / require the python formatter black. See here for its documentation. Basically, black defines one very rigid ...
  • incaseoftrouble
  • 3
  • Opened 
    on Nov 25, 2023
  • #249
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue search results · GitHub