Questions tagged [codebase]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0
votes
2answers
72 views

Formal verification on ETH EVM

Can you write verifiable code for ETH? if so what's special about Tezos in this respect, does it run faster, is writing the verifiable code faster?
5
votes
2answers
171 views

How to run unit tests?

I have downloaded the source code and built my node from scratch. What command should I run in order to double check that all unit tests run fine? In particular I am interested in running the unit ...
0
votes
1answer
63 views

Regarding Baker-Node interaction

Does baker implementation currently include a way to tell node what block it wants to bake on? Edit: I want to know if what does baker do after it finds out it has a baking slot? What I know is that ...