Skip to main content
Filter by
Sorted by
Tagged with
1 vote
1 answer
37 views

Django AJAX: Passing form CSFR verification without proper token attachment. Why?

I have a small Django 5.1.1 project, in which I use an AJAX request to submit form data. I'm using {% csrf_token %} and have the setup for attaching the form csrfToken to the xhr header. Problem: The ...
solo dev's user avatar
0 votes
0 answers
9 views

jquery validation rules not working for jquery steps and there is forms in each step,Form is not validated

there is a jquery step wizard having 7 steps.each steps have a form embedded inside. and validation rules are there for each form. but when I click next control goes to the next step without ...
Ram Khatri's user avatar
-1 votes
0 answers
53 views

Vivado Toggle Score Discrepancy for Identical Clock Signal in Verilog

Description: I'm encountering an issue with code coverage in Vivado, specifically related to toggle scores. I'm working on two circuits that utilize the same global clock generator signal. However, ...
ybg's user avatar
  • 1
0 votes
0 answers
45 views

Verify recursive update on a map

I have a recursive function that updates a map (string, bool). I am trying to implement a predicate that ensures the last state of said map, however, dafny has some troubles trying to verify even the ...
Markel Barrena's user avatar
0 votes
0 answers
60 views

Impossible to Submit Data Use Checkup

I have been receiving notifications for several months prompting me to submit the Data Use Checkup. However, every time I attempt to complete this process, I encounter an issue at the first step. The ...
vini-b-rj's user avatar
0 votes
1 answer
48 views

Verify sequence of map modifications in dafny

I'm writing a function in dafny to verify a series of updates in a map in an iterative method, however, dafny cannot prove those changes in the map. This is the code: function updateMap(t: (bool, ...
Markel Barrena's user avatar
1 vote
0 answers
160 views

How to Handle Google Play Developer Account Restriction Due to Identity Verification Issues?

Hello Developers, I'm facing an issue with my Google Play Developer account being restricted due to identity verification problems. Here's a summary of the situation: I received a notification from ...
Julio 's user avatar
  • 21
0 votes
0 answers
24 views

SVA assertion with local counter in it. Its not behaving as intended

I want to write an sva with a local counter delay. Im getting a right parenthesis error in the consequent part when i added 1'b1. I added that because i only wanted to decrement the local counter when ...
Gautam Devanand's user avatar
0 votes
0 answers
23 views

Is fingerprints biometric authentication supported in flutter web?

I'm building a web verification system with flutter. And it requires biometric data capturing like fingerprints, but the problem is no biometric (fingerprints) package support flutter web. Is there a ...
Jmmy James's user avatar
0 votes
2 answers
47 views

Conflicting JVM specs between what can be verified run and what is debuggable wrt local variables?

On one hand the Java class spec says: There may be no more than one LocalVariableTable attribute per local variable in the attributes table of a Code attribute. But on the other hand lots of ...
Computer says 'no'--SOooooo's user avatar
0 votes
1 answer
141 views

debsig-verify fails with `gpg: [don't know]: invalid packet (ctb=2d)`

Problem: debsig-verify verification fails with no (or unhelpful) information about what is wrong. The specific output that isn't really telling me what's wrong is: gpg: [don't know]: invalid packet (...
Avram's user avatar
  • 193
2 votes
1 answer
64 views

WP Plugin: Why does the following simplified code fail to verify

I am a new Frama-C User and I am trying to prove certain properties for a large project. I was seeing a particular proof fail, and tried reducing the problem to a minimum reproducible example, and the ...
LakshyAAAgrawal's user avatar
1 vote
1 answer
55 views

Confused About Middleware in Node.js Express [duplicate]

I'm learning Express.js and I'm a bit confused about the difference between middleware functions and route handlers. I understand that middleware functions usually have the next argument, but I'm not ...
prajitha k's user avatar
0 votes
0 answers
58 views

Jumio kyc authentication failed (C010401)

I am currently trying to build a flutter module ekyc with jumio. https://pub.dev/packages/jumio_mobile_sdk_flutter I folllowed the setup steps, when I want to start the Jumio session, I got ...
rkris26's user avatar
  • 417
0 votes
0 answers
10 views

UPPAAL SMC - How to provide a time distribution data as an input for invariant at a location and/or a guard in a transition?

I currently have information of time in the form of a distribution as shown in the image below. I want to provide this time information(which is in the form of a distribution) as invariant in a ...
Michael Tesla's user avatar
0 votes
1 answer
108 views

django : CSRF verification failed. Request aborted. (tutorial2)

There is an error when logging in from the Django admin page. I'm working on tutorial02, and I've tried various things and found related documents, so there's no change. Please understand that the ...
DaeHun Hong's user avatar
0 votes
1 answer
53 views

Using hash in PhP

I am trying to write verification code in PhP following these steps... The verification code is calculated by: Verification code = integer(SHA256(the hash)[-2:-1]) mod 10000 Calculate SHA256 from the ...
Steve's user avatar
  • 3
0 votes
0 answers
17 views

Adding sensitive permission scope to existing google app in production - would it break existing users?

We are trying to add sensitive scope for gmail to our existing set of permissions to our gmail app that is already in production and thousands of users are using the app. If we add the scope, will ...
dsp's user avatar
  • 49
-1 votes
1 answer
61 views

How to get lifetime license for ID document recognition SDK [closed]

I am trying to run the following repo here from KBY-AI company. But when I run docker container, it returns -1 as activation value. It seems to be de-activated internally, I can not find valid ...
Jackie Wang's user avatar
0 votes
1 answer
202 views

BPMN to Petri nets converter or any other tool for verification

My goal is to transfer a BPMN model to any workflow tool that will allow me to verify it. I learned about Petri nets, so I want to be able to transform an XML file I obtained after creating a BPMN ...
Curious's user avatar
  • 795
0 votes
2 answers
47 views

Locate specific text for an element when specific text is partially variable (selenium Java)

For following element I need to locate the counts for Requeues, App Exits and Greets Started. Further I will need to verify the counts for for each events. <div _ngcontent-ome-c213="" ...
NS S's user avatar
  • 1
0 votes
0 answers
22 views

STM32F407 DFU problem in App Verification place on memory

I'm working with the DFU for the STM32F407 y I'm try to understand the application exist verification. Added to this, I need to use the emulated EEPROM to know if it run the DFU to remote update or ...
GAJOBAR's user avatar
  • 21
0 votes
1 answer
251 views

UVM enforce clocking block usage

I want to use the following SystemVerilog concepts: clocking block: to avoid race conditions between driver and monitor, i want to have it in a central place, in the interface modport: normally (e.g. ...
G. B.'s user avatar
  • 608
0 votes
0 answers
53 views

Is there a Refresh Token expiration time for in a web-app in the "Verification in progress" status?

When my web-app was in the Publishing status: "Testing" my users needed to re-signup every week, due to the expiration of their refresh token. Since I've submitted the web-app to the ...
VanDjango's user avatar
0 votes
0 answers
28 views

Controller verification not working/value being read as null when it is not

I am trying to verify that there is pre-existing entry in the row of a data table before updating its value. This is working for all of my functions except for the one present in a modal that should ...
Trinky's user avatar
  • 41
-1 votes
1 answer
36 views

Firebase/Google Cloud projects verification has no answer [closed]

I have several projects on Firebase and sent them to OAuth verification via Google Cloud. Some of them were sent on Oct/Nov 2023. No reply emails were sent back to me. I acknowledged that they have ...
Snow Pandemic's user avatar
0 votes
2 answers
71 views

keep has_each for a list in Specman

I am trying to create a keep with this functionality: extend sys { ListA : list of uint; keep ListA.size() == 3; // For the example keep for each in ListA { // For the example it &...
Ank's user avatar
  • 1
1 vote
1 answer
302 views

UVM agents - single/multiple?

I want to test a receiver with the following ports: Details about the arrows in the diagram above: Control/Status Registers: 16x32bit input signals (16 control registers) 16x32bit output signals (...
G. B.'s user avatar
  • 608
1 vote
2 answers
465 views

Meta for developers - Verification code too short

I'm busy going through the process of registering as a developer on Meta to try build out a service application but on the verification screen I'm receiving an SMS that is 5 digits long and the submit ...
Conway Stern's user avatar
-1 votes
1 answer
113 views

UVM RAL: NULL pointer is dereference

I am a beginner in using UVM RAL. I am trying to access by DUT Registers using UVM_BACKDOOR. I think this should not require an adapter and a predictor. I maybe wrong thinking so. Below is my code ...
newbie99's user avatar
0 votes
1 answer
76 views

Check if a path exist in React Native [closed]

I would like to check if files or folder exist in my current project. I have try using react-native-fs but this not take the files in the project but on the phone. So for exemple, i would like to get ...
Vénon's user avatar
  • 55
0 votes
0 answers
74 views

Verification failed for Tuya IOS sdk in Flutter after Integration

I have integrated Tuya SDK in my flutter app for iOS. But while signing in, i am getting error saying "Verification failed". Following is the detailed description of error Error Domain=com....
Saad Malik's user avatar
0 votes
0 answers
40 views

Add account verification and password recovery using tokens with react and postgres

I've finished a dashboard where I implemented a register and login system with account verification and password recovery. I used react for the frontend, serverless functions and mongodb. It was the ...
ElPlátanoDeJoe's user avatar
0 votes
0 answers
157 views

there is this problem in my next-oauthcongiguration it give me this error

Error 403: access_denied Request details: o2v=2 service=lso response_type=code theme=glif redirect_uri=http://localhost:3000/api/auth/callback/google state=hWbXzL-pgbtkFjd_S1mLTl9cV7M-XDj2pTQLI6DUxco ...
Ahmad Razi's user avatar
0 votes
1 answer
85 views

how to use python to split a logical statement and verify it one by one? [duplicate]

For example, there is a given string ( a > b or a > c) and a < d in python. I want to at first extract expression and logical operator from this statement, then check it one by one, such as ...
Xiyue's user avatar
  • 1
0 votes
1 answer
133 views

How to generate a .dat file for verilator_coverage?

I've started to familiarize myself with cocotb and I'm having trouble. I wrote a simple test like this: @cocotb.test() async def add_test(dut): dut._log.info("Running add test!") c = ...
s345's user avatar
  • 33
-1 votes
1 answer
69 views

delay-google-cloud-console-app-verification for 2 weeks without feedback

i had create on google cloud console app that require access to google calendar and google sheet . google drive i had submit my app for verification , now pass about 2 weeks without any feedback from ...
Moetaz Darwish's user avatar
0 votes
1 answer
166 views

Dafny linked queue implementation

I'm following Leino's paper "Specification and verification of OO software" and trying to implement the queue example. I'm unable to resolve an (syntax?) error that comes while defining the ...
Drona Nagarajan's user avatar
0 votes
0 answers
334 views

ONDC /subscribe api domain verification file(ondc-site-verification.html) is not found

I am currently working on ONDC integration with our app. We are onboarding as seller app. I am following this given repo. I am completed till step 5 where I have to generate the ondc-site-verification....
Yash verma's user avatar
0 votes
0 answers
37 views

How can i validate and verify my project' code

Our teacher said choose a topic(i choose social media analytics tool) and find a code about it(from github) then: Analyze / test (if possible real-world) code to validate and verify the software. ...
mehmed aras's user avatar
1 vote
0 answers
80 views

Google ID Token verification fails in PHP, but works with tokeninfo endpoint

I'm encountering an issue verifying a Google ID token using the PHP API. The tokeninfo endpoint successfully verifies it, but $client->verifyIdToken($id_token) returns false in my PHP code. I have ...
Moses Henen's user avatar
1 vote
2 answers
191 views

Verify email in Laravel 9

I want to do email verification. Actually, it succeeded, but only to the email in the .env file. Why didn't other users receive the email verification link? Model class User extends Authenticatable ...
anasa's user avatar
  • 21
0 votes
1 answer
71 views

Verifying the authenticity of the domain that sent the request

How can I 100% verify the domain from which I received a request or connection via WebSocket? Ideally, this should take no more than a second. It should not be susceptible to spoofing like the Host or ...
Gura's user avatar
  • 21
1 vote
1 answer
1k views

How verification of a "google sign-in" JWT works

I am trying to understand how the JWT sent from Google to the client when using the sign in with Google feature, can be verified on my server for authentication. I would like to authenticate a user ...
LuNaTiqQc's user avatar
0 votes
1 answer
350 views

React Native ID Card Verification scanner

Is there a free library available for implementing an ID card verification scanner in React Native? This is similar to the functionality where users register in an app and need to validate their ...
Cayenne Ezra Gagno's user avatar
1 vote
0 answers
764 views

How to verify UPI address is valid or not? Is there any free APIs? I want to check if the entered UPI address is existing or not

Verification of UPI address using API. I tried razorpay with this API: "https://api.razorpay.com/v1/payments/validate/vpa" but got response as: {"error":{"code":"...
Nibras A's user avatar
1 vote
1 answer
650 views

Error when I want to disable ssl certificate verification in axios in react project

I installed TLS on a server on the Azure side and I cannot log in to the react project due to TLS. I get the net::ERR_CERT_AUTHORITY_INVALID error in the console. Therefore, I add the following code ...
Sabri Yaşar's user avatar
0 votes
0 answers
61 views

Dafny verification fails "post condition might not hold"

i am new here (my first question) We are supposed to use a given code from a website and convert it into dafny code. The code logic itself is supposedly good. When i try to convert the code in dafny ...
Elias Hanna's user avatar
0 votes
2 answers
113 views

How does a covergroup handle with an event handle sampling when enabling strobe?

I am curious as to how the sampling happens in a SystemVerilog covergroup when we have an event specified and we also use type_option.strobe = 1 for said covergroup. For example: covergroup c @(...
Gus Mantzorogeorge's user avatar
4 votes
1 answer
3k views

Gitlab : Not receive OTP for verify phone number when registering

I’m not receiving any SMS OTP for verifying my phone number when registering for gitlab account. Any solution?
Akmal Saputra's user avatar

1
2 3 4 5
30