SPEC ERROR: /Users/chrissmith/Projects/k-ds-guard/out/specs/617021af8de987b5d4f7d2a2afac1a72fd17c33b75cdc5f1440117d544b77a8e.k Location(12,3,180,36)
==================================
Success execution paths: 0
Failed execution paths: 1
Paths in progress: 1
Longest path: 131 steps
Stats for each phase, time, used memory, implicit main GC time percentage:
Total : 218.558 s, 541 MB, gc: 0.649 %
Parsing : 206.018 s, 135 MB, gc: 0.610 %
To evaluate the value of msg.sender when using solidity/assembly's delegatecall:
We start out with 3 contracts:
pragma solidity ^0.5.7;
contract ScratchPadActions {
event SenderActions(address contractAddress, address sender, address second);
function relay(ScratchPad2 second) public returns (address) {
emit SenderActions(address(this), msg.sender, address(second));
Need .sethrc
for the blockchain you want to connect to. For this demo we'll be using dapp testnet
and the setup-testnet.sh
script from icetan. This script gets and sets some env variables for us:
ETH_FROM
ETH_PASSWORD
ETH_KEYSTORE
ETH_RPC_URL
### Keybase proof | |
I hereby claim: | |
* I am iamchrissmith on github. | |
* I am iamchrissmith (https://keybase.io/iamchrissmith) on keybase. | |
* I have a public key ASBEY_D0Rw2H43GFLUTnzqD-st2amXuR4ph-PtMLgMVeTAo | |
To claim this, I am signing this object: |
For the activities listed below, please create a gist on GitHub to capture your reflections for each of these 3 parts.
-
Read through this post from Red Pill Programming to get a sense of the different mindsets you'll want to consider in your new career: The Software Engineer Framework: 8 Ways to Become a Better Software Engineer.
- Approximate reading time: 15 minutes
- After reading, please write a reflection (4-6 sentences) on your takeaways from the post.
-
Mentioned in the first reading, the idea of a strong checklist is the focus in the second reading. Read through and/or listen to this interview with Atul Gawande (author of the Checklist Manifesto). It includes an excerpt from his book, which is optional reading.
<a href='https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&uact=8&sqi=2&ved=0CB4QFjAA&url=http%3A%2F%2Fwww.google.com%2F&ei=8e3zVKuCL4-zyATQ04HYCQ&usg=AFQjCNG5-9Jej-ukVeakTgwonqt2narbYg&bvm=bv.87269000,d.aWw'>ESCAPE</a> |
function crc_woocommerce_display_coupons(){ | |
global $wpdb; | |
$coupon_id = $wpdb->get_results( | |
$wpdb->prepare( | |
" | |
SELECT ID FROM $wpdb->posts | |
WHERE post_type = %s | |
AND post_status = 'publish' | |
", | |
'shop_coupon' |