aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 13 Pull Requests 4 Packages Projects Releases Wiki Activity

fix: Snake case style

This commit is contained in:
Leni Aniva 2024-04-22 13:26:48 -07:00
parent 83fcec5d60
commit 8658ec08e2
Signed by: aniva
GPG Key ID: 4D9B1C8D10EA4C50
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pantograph/server.py
View File

@ -65,8 +65,8 @@ class Server:
raise ServerError(result["desc"]) raise ServerError(result["desc"])
return GoalState(state_id = result["stateId"], goals = [Goal.sentence(expr)]) return GoalState(state_id = result["stateId"], goals = [Goal.sentence(expr)])
def goal_tactic(self, state: GoalState, goalId: int, tactic: Tactic) -> GoalState: def goal_tactic(self, state: GoalState, goal_id: int, tactic: Tactic) -> GoalState:
args = { "stateId": state.state_id, "goalId": goalId } args = { "stateId": state.state_id, "goalId": goal_id}
if isinstance(tactic, TacticNormal): if isinstance(tactic, TacticNormal):
args["tactic"] = tactic.payload args["tactic"] = tactic.payload
else: else:
@ -99,7 +99,7 @@ class TestServer(unittest.TestCase):
server = Server() server = Server()
state0 = server.goal_start("forall (p q: Prop), Or p q -> Or q p") state0 = server.goal_start("forall (p q: Prop), Or p q -> Or q p")
self.assertEqual(state0.state_id, 0) self.assertEqual(state0.state_id, 0)
state1 = server.goal_tactic(state0, goalId=0, tactic=TacticNormal("intro a")) state1 = server.goal_tactic(state0, goal_id=0, tactic=TacticNormal("intro a"))
self.assertEqual(state1.state_id, 1) self.assertEqual(state1.state_id, 1)
self.assertEqual(state1.goals, [Goal( self.assertEqual(state1.goals, [Goal(
variables=[Variable(name="a", t="Prop")], variables=[Variable(name="a", t="Prop")],