niklas/amduat
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Implement store error IO class, optional config validation, and ops init helper

Browse source
This commit is contained in:
Carl Niklas Rydberg 2025-12-21 23:29:24 +01:00
parent a992e89766
commit 9754582ae7
5 changed files with 17 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Testing/Temporary/CTestCostData.txt Normal file
View file

@ -0,0 +1 @@
---

3
Testing/Temporary/LastTest.log Normal file
View file

@ -0,0 +1,3 @@
Start testing: Dec 21 23:21 CET
----------------------------------------------------------
End testing: Dec 21 23:21 CET

9
include/amduat/asl/store.h
View file

@ -37,6 +37,15 @@ typedef struct {
amduat_asl_store_config_t config);
} amduat_asl_store_ops_t;
static inline void amduat_asl_store_ops_init(amduat_asl_store_ops_t *ops) {
if (ops == NULL) {
return;
}
ops->put = NULL;
ops->get = NULL;
ops->validate_config = NULL;
}
typedef struct {
amduat_asl_store_config_t config;
amduat_asl_store_ops_t ops;

2
src/adapters/asl_store_fs/asl_store_fs.c
View file

@ -693,7 +693,7 @@ bool amduat_asl_store_fs_init(amduat_asl_store_fs_t *fs,
amduat_asl_store_ops_t amduat_asl_store_fs_ops(void) {
amduat_asl_store_ops_t ops;
memset(&ops, 0, sizeof(ops));
amduat_asl_store_ops_init(&ops);
ops.put = amduat_asl_store_fs_put_impl;
ops.get = amduat_asl_store_fs_get_impl;
ops.validate_config = amduat_asl_store_fs_validate_config;

3
tests/pel/test_pel_surf_run.c
View file

@ -363,6 +363,7 @@ static int test_surf_success(void) {
cfg.hash_id = AMDUAT_HASH_ASL1_ID_SHA256;
stub_store_init(&stub);
stub.config = cfg;
amduat_asl_store_ops_init(&ops);
ops.put = stub_store_put;
ops.get = stub_store_get;
amduat_asl_store_init(&store, cfg, ops, &stub);
@ -488,6 +489,7 @@ static int test_surf_missing_program(void) {
cfg.hash_id = AMDUAT_HASH_ASL1_ID_SHA256;
stub_store_init(&stub);
stub.config = cfg;
amduat_asl_store_ops_init(&ops);
ops.put = stub_store_put;
ops.get = stub_store_get;
amduat_asl_store_init(&store, cfg, ops, &stub);
@ -566,6 +568,7 @@ static int test_surf_missing_input(void) {
cfg.hash_id = AMDUAT_HASH_ASL1_ID_SHA256;
stub_store_init(&stub);
stub.config = cfg;
amduat_asl_store_ops_init(&ops);
ops.put = stub_store_put;
ops.get = stub_store_get;
amduat_asl_store_init(&store, cfg, ops, &stub);