Skip to content
This repository was archived by the owner on Apr 12, 2023. It is now read-only.

speed up verification of slayers package #55

Open
LinoTelschow opened this issue Dec 17, 2021 · 0 comments
Open

speed up verification of slayers package #55

LinoTelschow opened this issue Dec 17, 2021 · 0 comments

Comments

@LinoTelschow
Copy link
Collaborator

LinoTelschow commented Dec 17, 2021 •
edited
Loading

As Is:

  • The SerializeTo methods in scmp_msg.gobra are currently commented to make verification terminate in a reasonable time.

To Be:

  • uncomment SerializeTo methods in scmp_msg.gobra
  • change structure of scmp_msg.gobra such that verification terminates in a reasonable time
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@LinoTelschow